Paliath Narendran Michaël Rusinowitch Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings RTA Lecture Notes in Computer Science 1631 Springer 1999 3-540-66201-4 db/conf/rta/rta99.html