In Honor of Wolfgang Thomas 2008

a service of Schloss Dagstuhl - Leibniz Center for Informatics