-R.V. Book (Ed.): Rewriting Techniques and Applications, Springer-Verlag Proceedings 1991