Egon Börger Hans Kleine Büning Michael M. Richter CSL '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, Proceedings CSL Lecture Notes in Computer Science 329 Springer 1988 3-540-50241-6 db/conf/csl/csl87.html