International Conference on Rewriting Techniques and Applications (12th 2001 Utrecht, Netherlands)