著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Logic Programming and Dahl, Veronica and Niemelä, Ilkka","Logic programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : proceedings",,Springer,2007,Lecture notes in computer science,,9783540746089,,https://cir.nii.ac.jp/crid/1130000798129387648