Inductive Theorem Proving meets Dependency Pairs

Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp. Inductive Theorem Proving meets Dependency Pairs. In Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow, editors, Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009. Volume 09411 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]

Abstract

Abstract is missing.