Georg Gottlob Etienne Grandjean Katrin Seyr Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings CSL Lecture Notes in Computer Science 1584 Springer 1999 3-540-65922-6 db/conf/csl/csl98.html