Bromberger, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
978-3-031-38499-8_8.pdf (Publisher version), 367KB
Bromberger, M., Jain, C., & Weidenbach, C. (2023). SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning. In B. Pientka, & C. Tinelli (Eds.), Automated Deductions -- CADE 29 (pp. 134-152). Berlin: Springer.