"Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual ..."

Laurent Fribourg (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics