Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
Börger, Egon ; Gurevich, Yuri ; Meinke, Karl Gurevich, Yuri ; Meinke, Karl ; Börger, Egon
Berlin, Heidelberg: Springer Berlin Heidelberg 1994
Texto completo disponível