Rewriting techniques and applications 4th international conference, RTA-91, Como, Italy, April 10-12, 1991 ; proceedings (Springer, 1991)