ProverX: Rewriting and Extending Prover9 - Robert, Ivo (PQDT - Global, 2020)