Improved Modular Termination Proofs Using Dependency Pairs.

Ren Thiemann, Jrgen Giesl, Peter Schneider-Kamp

Browse the full CADE paper archive.