"Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, ..."

Egon Börger, Yuri Gurevich, Karl Meinke (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics