Claude Kirchner Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings RTA Lecture Notes in Computer Science 690 Springer 1993 3-540-56868-9 db/conf/rta/rta93.html