著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Walther, Christoph",A many-sorted calculus based on resolution and paramodulation,,"Pitman,Morgan Kaufmann Publishers",1987,Research notes in artificial intelligence,,"0273087185,0934613494",,https://cir.nii.ac.jp/crid/1130282269593326080