Egon Börger Yuri Gurevich Karl Meinke Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers CSL Lecture Notes in Computer Science 832 Springer 1994 3-540-58277-0 db/conf/csl/csl93.html