Rewriting techniques and applications 13th international conference, RTA 2002, Copenhagen, Denmark, July 22 - 24, 2002 ; proceedings (Springer, 2002)