Rewriting Techniques and Applications: 4th International Conference, Rta-91, Cumo, Italy, April 10-12, 1991 Proceedings (Lecture Notes in Computer Science)