Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings - Tison, Sophie; Tison, Sophie (Springer Berlin Heidelberg : Imprint: Springer, 2002)