Higher-Order Algebra, Logic, and Term Rewriting:
First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa

by Jan Heering, Karl Meinke, Bernhard Moller, Tobias Nipkow