Computer science logic 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers - Beorger, E. 1946- (Egon); Gurevich, Yuri; Meinke, K. (Karl) (Lecture notes in computer science, 1994)