著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"McAllester, David A.",Ontic : a knowledge representation system for mathematics,,MIT Press,1989,The MIT Press series in artificial intelligence,,0262132354,,https://cir.nii.ac.jp/crid/1130000795099315072