Peter Clote Helmut Schwichtenberg Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings CSL Lecture Notes in Computer Science 1862 Springer 2000 3-540-67895-6 db/conf/csl/csl2000.html