著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Heering, J and International Workshop on Higher-Order Algebra, Logic, and Term Rewriting","Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers",,Springer-Verlag,1994,Lecture notes in computer science,,"3540582339,0387582339",,https://cir.nii.ac.jp/crid/1130282268697338368