Egon Börger Hans Kleine Büning Michael M. Richter Wolfgang Schönfeld Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings CSL Lecture Notes in Computer Science 533 Springer 1991 3-540-54487-9 db/conf/csl/csl90.html