著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Kaplan, Stéphane and Okada, M. (Mitsuhiro) and International Workshop on Conditional (and Typed) Rewriting Systems","Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings",,Springer-Verlag,1991,Lecture notes in computer science,,"3540543171,0387543171",,https://cir.nii.ac.jp/crid/1130000794345262592