"CSL '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, ..."

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