Festschrift for Dave Schmidt 2013: Manhattan, KS, USA

a service of Schloss Dagstuhl - Leibniz Center for Informatics