Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2 - 5, 1997 ; proceedings (Springer, 1997)