A Modular Splitting Framework for Saturation Theorem Proving by Ghilain Bergeron, Florent Krasnopol and Sophie Tourret Jun 18
0009-0000-6577-4320