Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings - Vincent Oostrom ((Lecture Notes in Computer Science))