著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Kroening, Daniel and Strichman, Ofer and Bryant, Randal E.",Decision procedures : an algorithmic point of view,,Springer,2008,Texts in theoretical computer science,,9783540741046,,https://cir.nii.ac.jp/crid/1130282271600139264