著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
Oliver Kullmann and International Conference on Theory and Applications of Satisfiability Testing,"Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009 Swansea, UK, June 30 - July 3, 2009 : proceedings",,Springer,2009,Lecture notes in computer science,,9783642027765,,https://cir.nii.ac.jp/crid/1130000795736601856