Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL : Fischbachau, Germany, August 21-26, 2000 : proceedings - Clote, Peter, 1951-; Schwichtenberg, Helmut, 1942- (Lecture notes in computer science ;, 2000)