"Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual ..."

Erich Grädel, Reinhard Kahle (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics