"Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual ..."

Anuj Dawar, Helmut Veith (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics