Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / - Jouannaud, Jean-Pierre. (Springer-Verlag,, 1985)