Termination of Term Rewriting Using Dependency Pairs (2000)

by T Arts, J Giesl
Venue:Theoretical Computer Science