You are about to access our book library "Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science v. 1103) full version" .