著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Bläsius, Karl Hans and Bürckert, Hans-Jürgen",Deduction systems in artificial intelligence,,"Ellis Horwood Limited,Halsted Press",1989,Ellis Horwood series in artificial intelligence,,"0745804098,047021550X",,https://cir.nii.ac.jp/crid/1130000795049774848