Vincent van Oostrom Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings RTA Lecture Notes in Computer Science 3091 Springer 2004 3-540-22153-0 db/conf/rta/rta2004.html