Fiori, Alberto Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Fiori, A., & Weidenbach, C. (2019). SCL Clause Learning from Simple Models. In P. Fontaine (Ed.), Automated Deduction -- CADE 27 (pp. 233-249). Berlin: Springer. doi:10.1007/978-3-030-29436-6_14.