著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Theory and applications of Satisfiability Testing and Järvisalo, Matti and Gelder, Allen Van","Theory and applications of satisfiability testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings",,Springer,2013,Lecture notes in computer science,,9783642390708,,https://cir.nii.ac.jp/crid/1130282268842339200