著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Special Session on Automatic Theorem Proving and Bledsoe, W. W. and Loveland, Donald W. and American Mathematical Society",Automated theorem proving : after 25 years,,American Mathematical Society,1984,Contemporary mathematics,,082185027X,,https://cir.nii.ac.jp/crid/1130000796157974016