Termination of term rewriting using dependency pairs (0)

by T Arts, J Giesl
Venue:Theoretical Computer Science, 236(1-2):133–178, 2000. Adam Koprowski and Johannes Waldmann