RTA 2001 12th International Conference on Rewriting Techniques and Applications