First-Order Automatic Literal Model Generation. - Martin Bromberger; Florent Krasnopol; Sibylle Möhle; Christoph Weidenbach (IJCAR (1), 2024)

A Modular Splitting Framework for Saturation Theorem Proving. - Ghilain Bergeron; Florent Krasnopol; Sophie Tourret (Arch. Formal Proofs, 2025)