An Interpolating Theorem Prover

This publication has 12 references indexed in Scilit:

• Abstractions from proofs
  Published by Association for Computing Machinery (ACM) ,2004
• Automatic Abstraction without Counterexamples
  Published by Springer Nature ,2003
• A Symbolic Approach to Predicate Abstraction
  Published by Springer Nature ,2003
• Interpolation and SAT-Based Model Checking
  Published by Springer Nature ,2003
• Lazy Theorem Proving for Bounded Model Checking over Infinite Domains
  Published by Springer Nature ,2002
• Lower bounds for resolution and cutting plane proofs and monotone computations
  The Journal of Symbolic Logic, 1997
• Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
  The Journal of Symbolic Logic, 1997
• A Structure-preserving Clause Form Translation
  Journal of Symbolic Computation, 1986
• Simplification by Cooperating Decision Procedures
  ACM Transactions on Programming Languages and Systems, 1979
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
  The Journal of Symbolic Logic, 1957