著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Pfalzgraf, Jochen and Wang, Dongming and Cunningham Jim",Automated practical reasoning : algebraic approaches,,Springer-Verlag,1995,Texts and monographs in symbolic computation,,"3211826009,0387826009",,https://cir.nii.ac.jp/crid/1130282269327973632