-Heering et al. (Eds.): Higher-Order Algebra, Logic, and Term Rewriting. Proceedings 1993, Springer-Verlag 1994