Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper). - Alberto Fiori; Claudio Sacerdoti Coen (CICM Workshops, 2018)

SCL Clause Learning from Simple Models. - Alberto Fiori; Christoph Weidenbach (CADE, 2019)

SCL with Theory Constraints. - Alberto Fiori; Christoph Weidenbach (CoRR, 2020)

Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories. - Martin Bromberger; Alberto Fiori; Christoph Weidenbach (VMCAI, 2021)