著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Loveland, Donald W. and Conference on Automated Deduction","6th Conference on Automated Deduction, New York, USA, June 7-9, 1982",,Springer-Verlag,1982,Lecture notes in computer science,,"3540115587,0387115587",,https://cir.nii.ac.jp/crid/1130282269192084608