Termination of term rewriting using dependency pairs (2000)

by T Arts, J Giesl
Venue:Theor. Comput. Sci