著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Loveland, Donald W.",Automated theorem proving : a logical basis,,"North-Holland Pub. Co,Sole distributor for the U.S.A. and Canada, Elsevier North-Holland",1978,Fundamental studies in computer science,,0720404991,,https://cir.nii.ac.jp/crid/1130000795336280704