Egon Börger Hans Kleine Büning Michael M. Richter CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings CSL Lecture Notes in Computer Science 440 Springer 1990 3-540-52753-2 db/conf/csl/csl89.html