@InProceedings{Bromberger_CADE2023,
  author = {Bromberger, Martin and Jain, Chaahat and Weidenbach, Christoph},
  editor = {Pientka, Brigitte and Tinelli, Cesare},
  title = {{SCL(FOL)} Can Simulate Non-Redundant Superposition Clause Learning},
  booktitle = {Automated Deduction -- CADE 29},
  year = {2023},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  pages = {134--152},
  isbn = {978-3-031-38499-8},
  doi = {10.1007/978-3-031-38499-8_8},
}
