1. T. Arts, Proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA-00, LNCS 1833, Norwich, England, 2000, Springer, Berlin, 261, 264
2. T. Arts, J. Giesl, Proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, LNCS 1379, Tsukuba, Japan, 1998, Springer, Berlin, 226, 240
3. Termination of term rewriting using dependency pairs;Arts;Theor. Comput. Sci.,2000
4. T. Arts, J. Giesl, 2001
5. Term Rewriting and all that;Baader,1998