Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings

Jean-Pierre Jouannaud Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings RTA Lecture Notes in Computer Science 202 Springer 1985 3-540-15976-2 db/conf/rta/rta85.html