Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery. - Kristina Aleksandrova; Jan Jakubuv; Cezary Kaliszyk (LPAR, 2024)