-H. Comon/J.-P. Jouannaud (Eds.): Term Rewriting. Proceedings 1993, Springer-Verlag 1995