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