著者名	書名	版表示	出版者名	出版年	シリーズ名	番号	ISBN	ISSN	URL
Workshop on Computer Science Logic and Börger, Egon and Kleine Büning, Hans and Richter, Michael M.	CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings		Springer-Verlag	1990	Lecture notes in computer science	440	3540527532,0387527532		https://ci.nii.ac.jp/ncid/BA10574597