You are about to access our book library "Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science, 2378) full version" .