"Computer Science Logic, 12th International Workshop, CSL '98, Annual ..."

Georg Gottlob, Etienne Grandjean, Katrin Seyr (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics