"CSL '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, ..."

Egon Börger, Hans Kleine Büning, Michael M. Richter (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics