@article{BergeronAFP2025,
TITLE = {A Modular Splitting Framework for Saturation Theorem Proving},
AUTHOR = {Bergeron, Ghilain and Krasnopol, Florent and Tourret, Sophie},
LANGUAGE = {eng},
ISSN = {2150-914X},
YEAR = {2025},
MARGINALMARK = {$\bullet$},
DATE = {2025},
JOURNAL = {Archive of Formal Proofs},
}