-N. Dershowitz (Ed.): Rewriting Techniques and Applications, Proceedings 1989, Springer-Verlag 1989