Rewriting Techniques and Applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings - Aart Middeldorp ((Lecture Notes in Computer Science))