Author Title Edition Publisher Year Series Number ISBN ISSN URL Börger, Egon and Gurevich, Yuri and Meinke, K. (Karl) and Workshop on Computer Science Logic Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers Springer-Verlag 1994 Lecture notes in computer science 832 3540582770,0387582770 https://ci.nii.ac.jp/ncid/BA23281092