著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"INAP and Seipel, Dietmar and Hanus, Michael and Wolf, Armin","Applications of declarative programming and knowledge management : 17th International Conference, INAP 2007 and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 2007 : revised selected papers",,Springer,2009,Lecture notes in computer science,,9783642006746,,https://cir.nii.ac.jp/crid/1130000797066148736