× Rewriting Techniques and Applications15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedingsherausgegeben von Vincent van OostromIncludes supplementary material: sn. pub/extras