-G. Dowek/J. Heering/K. Meinke/B. Möller (Eds.): Higher-Order Algebra, Logic, and Term Rewriting. Proceedings 1995, Springer-Verlag 1996