Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings. ISBN 3540439161. Published by Springer in 2002. Publication and catalogue information, links to buy online and reader comments.