Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 - Proceedings This text constitutes the proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, The Netherlands, 2001. The 23 full papers and two system descriptions address contemporary aspects of rewriting. Full description