Horbach, Matthias Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Horbach, M., & Weidenbach, C. (2009). Decidability Results for Saturation-Based Model Building. In R. Schmidt (Ed.), 22nd International Conference on Automated Deduction (CADE-22) (pp. 404-420). Heidelberg: Springer.