"Computer Science Logic, 10th International Workshop, CSL '96, Annual ..."

Dirk van Dalen, Marc Bezem (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics