Gilles Dowek Jan Heering Karl Meinke Bernhard Möller Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers HOA Lecture Notes in Computer Science 1074 Springer 1996 3-540-61254-8 db/conf/hoa/hoa95.html