Author: International Conference on Rewriting Techniques and Applications (15th 2004 Aachen, Germany)