"CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, ..."

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