著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"LPAR and Clarke, Edmund and Voronkov, A. (Andreĭ)","Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers",,Springer,2010,Lecture notes in computer science,,9783642175107,,https://cir.nii.ac.jp/crid/1130000797469128832