Waldmann, U., Tourret, S., Robillard, S., Blanchette, J., 2020. A Comprehensive Framework for Saturation Theorem Proving, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-030-51074-9_18