Egon Börger Hans Kleine Büning Michael M. Richter CSL '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings CSL Lecture Notes in Computer Science 385 Springer 1989 3-540-51659-X db/conf/csl/csl88.html