TY  - RPRT
TI  - First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation
AU  - Andreas Teucke
AU  - Christoph Weidenbach
PY  - 2015
UR  - https://arxiv.org/abs/1503.02971
ID  - 1503.02971
ER  -