Title: Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, Usa, July 1996