Teucke, Andreas Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Teucke, A., & Weidenbach, C. (2015). First-order Logic Theorem Proving and Model Building via Approximation and Instantiation. In C. Lutz, & S. Ranise (Eds.), Frontiers of Combining Systems (pp. 85-100). Berlin: Springer. doi:10.1007/978-3-319-24246-0_6.