The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs.

Jrgen Giesl, Ren Thiemann, Peter Schneider-Kamp

Browse the full LPAR paper archive.