@inproceedings{Fiori2019,
  title = {{SCL} Clause Learning from Simple Models},
  author = {Fiori, Alberto and Weidenbach, Christoph},
  language = {eng},
  issn = {0302-9743},
  isbn = {978-3-030-29435-9},
  doi = {10.1007/978-3-030-29436-6_14},
  publisher = {Springer},
  year = {2019},
  date = {2019},
  booktitle = {Automated Deduction -- CADE 27},
  editor = {Fontaine, Pascal},
  pages = {233--249},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {11716},
  address = {Natal, Brazil},
}

@misc{Bromberger2023,
  doi = {10.48550/ARXIV.2302.05954},
  author = {Bromberger, Martin and Schwarz, Simon and Weidenbach, Christoph},
  keywords = {Logic in Computer Science (cs.LO), Symbolic Computation (cs.SC), FOS: Computer and information sciences, FOS: Computer and information sciences},
  title = {{SCL(FOL)} Revisited},
  publisher = {arXiv},
  year = {2023},
  copyright = {arXiv.org perpetual, non-exclusive license}
}
