著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Theory and Applications of Satisfiability Testing and Bacchus, Fahiem and Walsh, Toby","Theory and applications of satisfiability testing : 8th International Conference, SAT 2005 St Andrews, UK, June 19-23, 2005 : proceedings",,Springer,2005,Lecture notes in computer science,,3540262768,,https://cir.nii.ac.jp/crid/1130282270469248000