著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Martins, João Pavão and Reinfrank, M. (Michael) and European Conference on Artificial Intelligence and Truth Maintenance Workshop","Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings",,Springer-Verlag,1991,Lecture notes in computer science,,"3540543058,0387543058",,https://cir.nii.ac.jp/crid/1130282269627690240