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