"The ICDT 2014 Test of Time Award."

Michael Benedikt, Ronald Fagin, Wim Martens (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics