-P. Lescanne (Ed.): Rewriting Techniques and Applications, Proceedings 1987, Springer-Verlag 1987