Hubert Comon Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings RTA Lecture Notes in Computer Science 1232 Springer 1997 3-540-62950-5 db/conf/rta/rta97.html