Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings. ISBN 3540402543. Published by Springer in 2003. Publication and catalogue information, links to buy online and reader comments.