Book Chapter
Termination of theorem proving by reuse
Thomas Kolbe and Christoph Walther
Lecture Notes in Computer Science, 1996, Volume 1104, Automated Deduction — Cade-13, Pages 106-120
Book Chapter
Many-sorted logic in a learning theorem prover
Thomas Kolbe and Sabine Glesner
Lecture Notes in Computer Science, 1997, Volume 1303, KI-97: Advances in Artificial Intelligence, Pages 75-86
Book Chapter
Patching proofs for reuse (Extended abstract)
Thomas Kolbe and Christoph Walther
Lecture Notes in Computer Science, 1995, Volume 912, Machine Learning: ECML-95, Pages 303-306
Book Chapter
STP: A mechanized logic for specification and verification
R. E. Shostak, Richard Schwartz and P. M. Melliar-Smith
Lecture Notes in Computer Science, 1982, Volume 138, 6th Conference on Automated Deduction, Pages 32-49
Book Chapter
User-oriented theorem proving with the ATINF graphic proof editor
Ricardo Caferra, Michel Herment and Nicolas Zabel
Lecture Notes in Computer Science, 1991, Volume 535, Fundamentals of Artificial Intelligence Research, Pages 1-10
Book Chapter
Lemma discovery in automating induction
Deepak Kapur and M. Subramaniam
Lecture Notes in Computer Science, 1996, Volume 1104, Automated Deduction — Cade-13, Pages 538-552
Book Chapter
Theorem Reuse by Proof Term Transformation
Einar Broch Johnsen and Christoph Lüth
Lecture Notes in Computer Science, 2004, Volume 3223, Theorem Proving in Higher Order Logics, Pages 152-167
Book Chapter
Similarities and reuse of proofs in formal software verification
Erica Melis and Axel Schairer
Lecture Notes in Computer Science, 1998, Volume 1488, Advances in Case-Based Reasoning, Pages 76-87
Journal Article
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm
Raúl Monroy
Automated Software Engineering, 2003, Volume 10, Number 3, Pages 247-269
Book Chapter
Predicting Failures of and Repairing Inductive Proof Attempts
Mahadevan Subramaniam, Deepak Kapur and Stephan Falke
2007, Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, Pages 177-191