Aart Middeldorp Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings RTA Lecture Notes in Computer Science 2051 Springer 2001 3-540-42117-3 db/conf/rta/rta2001.html