and Jürgen Giesl. Termination of term rewriting using dependency pairs (0)

by Thomas Arts
Venue:Theoretical Computer Science