Leo Bachmair Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings RTA Lecture Notes in Computer Science 1833 Springer 2000 3-540-67778-X db/conf/rta/rta2000.html