著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"JELIA and Hölldobler, Steffen and Lutz, Carsten and Wansing, Heinrich","Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008, proceedings",,Springer,2008,Lecture notes in computer science,,9783540878025,,https://cir.nii.ac.jp/crid/1130000795276993024