Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22.-24., 2001 : proceedings - Middeldorp, Aart, 1963- (Lecture notes in computer science ;, 2001)