著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,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,,"3540527532,0387527532",,https://cir.nii.ac.jp/crid/1130000795789108608