著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Sinz, Carsten and Egly, Uwe and International Conference on Theory and Applications of Satisfiability Testing","Theory and applications of satisfiability testing - SAT 2014 : 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings",,Springer,2014,Lecture notes in computer science,,9783319092836,,https://cir.nii.ac.jp/crid/1130000796111971328