Hans Kleine Büning: Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers. Lecture Notes in Computer Science 1092, Springer 1996, ISBN 3-540-61377-3