First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation. - Andreas Teucke; Christoph Weidenbach (FroCos, 2015)

First-Order Logic Theorem Proving via Counterexample-Guided Abstraction Refinement. - Andreas Teucke; Christoph Weidenbach (CoRR, 2015)

Ordered Resolution with Straight Dismatching Constraints. - Andreas Teucke; Christoph Weidenbach (PAAR@IJCAR, 2016)

Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints. - Andreas Teucke; Christoph Weidenbach (CADE, 2017)

An approximation and refinement approach to first-order automated reasoning. - Andreas Teucke (2018)

On the Expressivity and Applicability of Model Representation Formalisms. - Andreas Teucke; Marco Voigt; Christoph Weidenbach (FroCos, 2019)

SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment. - Andreas Teucke; Christoph Weidenbach (J. Autom. Reason., 2020)