First-Order Logic Theorem Proving via Counterexample-Guided Abstraction Refinement
['Andreas Teucke', 'Christoph Weidenbach']
First-Order Logic Theorem Proving via Counterexample-Guided Abstraction Refinement