You are about to access our book library "Rewriting Techniques and Applications: 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings (Lecture Notes in Computer Science, 914) full version" .