Automatic Termination Proofs in the Dependency Pair Framework.

Jrgen Giesl, Peter Schneider-Kamp, Ren Thiemann

Browse the full CADE paper archive.