Computer science logic : 7th Workshop, CSL '93 : Swansea, United Kingdom September 13-17, 1993 : selected papers - Gurevich, Yuri, 1940-; Meinke, Karl (Lecture notes in computer science ;, 1994)