The following publications are possibly variants of this publication:
- Automatic Termination Proofs in the Dependency Pair FrameworkJürgen Giesl, Peter Schneider-Kamp, René Thiemann. cade 2006: 281-286 [doi]
- Improved Modular Termination Proofs Using Dependency PairsRené Thiemann, Jürgen Giesl, Peter Schneider-Kamp. cade 2004: 75-90 [doi]
- Proving and Disproving Termination in the Dependency Pair FrameworkJürgen Giesl, René Thiemann, Peter Schneider-Kamp. Dagstuhl 2006: [doi]
- Signature Extensions Preserve Termination - An Alternative Proof via Dependency PairsChristian Sternagel, René Thiemann. csl 2010: 514-528 [doi]
- Third Special Issue on Techniques for Automated Termination ProofsJürgen Giesl, Deepak Kapur. JAR, 37(3):153-154, 2006. [doi]
- Modular Termination Proofs for Rewriting Using Dependency PairsJürgen Giesl, Thomas Arts, Enno Ohlebusch. JSC, 34(1):21-58, 2002. [doi]
- Automated Termination Proofs with AProVEJürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke. RTA 2004: 210-220 [doi]
- Modularity of Termination Using Dependency pairsThomas Arts, Jürgen Giesl. RTA 1998: 226-240 [doi]