Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985