Rewriting Techniques and Applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings - Sophie Tison ((Lecture Notes in Computer Science))