Rewriting Techniques and Applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings - Leo Bachmair ((Lecture Notes in Computer Science))