Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings - Hubert Comon ((Lecture Notes in Computer Science))