Termination Analysis by Dependency Pairs and Inductive Theorem Proving. - Stephan Swiderski; Michael Parting; Jürgen Giesl; Carsten Fuhs; Peter Schneider-Kamp (CADE, 2009)

Inductive Theorem Proving meets Dependency Pairs. - Stephan Swiderski; Michael Parting; Jürgen Giesl; Carsten Fuhs; Peter Schneider-Kamp (Interaction versus Automation: The two Faces of Deduction, 2009)

Proving Termination by Dependency Pairs and Inductive Theorem Proving. - Carsten Fuhs; Jürgen Giesl; Michael Parting; Peter Schneider-Kamp; Stephan Swiderski (J. Autom. Reason., 2011)