"Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual ..."

Michael Kaminski, Simone Martini (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics