@article{Waldmann_2022,
TITLE = {A Comprehensive Framework for Saturation Theorem Proving},
AUTHOR = {Waldmann, Uwe and Tourret, Sophie and Robillard, Simon and Blanchette, Jasmin},
LANGUAGE = {eng},
ISSN = {0168-7433},
DOI = {10.1007/s10817-022-09621-7},
PUBLISHER = {Springer},
ADDRESS = {New York, NY},
YEAR = {2022},
DATE = {2022},
JOURNAL = {Journal of Automated Reasoning},
VOLUME = {66},
PAGES = {499--539},
}