Termination of Term Rewriting Using Dependency Pairs Theoretical Computer Science (2000)

by T Arts, J Giesl