Pierre Lescanne Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings RTA Lecture Notes in Computer Science 256 Springer 1987 3-540-17220-3 db/conf/rta/rta87.html