Author: International Conference on Rewriting Techniques and Applications (14th 2003 Valencia, Spain)