Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22.-24., 2002 : proceedings - Tison, Sophie (Lecture notes in computer science ;, 2002)