Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings - Robert Nieuwenhuis ((Lecture Notes in Computer Science))