著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Büning, Hans Kleine and Zhao, Xishun and International Conference on Theory and Applications of Satisfiability Testing","Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008 Guangzhou, China, May 12-15, 2008 : proceedings",,Springer,2008,Lecture notes in computer science,,9783540797180,,https://cir.nii.ac.jp/crid/1130000794619862528