The following publications are possibly variants of this publication:
- Termination Analysis by Dependency Pairs and Inductive Theorem ProvingStephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp. cade 2009: 322-338 [doi]
- Proving and Disproving Termination in the Dependency Pair FrameworkJürgen Giesl, René Thiemann, Peter Schneider-Kamp. Dagstuhl 2006: [doi]
- Inductive Theorem Proving meets Dependency PairsStephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp. Dagstuhl 2009: [doi]