著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Boley, H. and Richter, Michael M. and Processing Declarative Knowledge","Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings",,Springer Verlag,1991,Lecture notes in computer science,,"354055033X,038755033X",,https://cir.nii.ac.jp/crid/1130282268628187904