"Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, ..."

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