"Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, ..."

Egon Börger et al. (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics