Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3 - 5, 2004 ; proceedings (Springer, 2004)