"Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012"

Andrei Voronkov (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics