Cita APA (7a ed.)
Robert, I. (2020). ProverX: Rewriting and Extending Prover9. PQDT - Global.
Cita Chicago Style (17a ed.)
Robert, Ivo. "ProverX: Rewriting and Extending Prover9." PQDT - Global 2020.
Cita MLA (9a ed.)
Robert, Ivo. "ProverX: Rewriting and Extending Prover9." PQDT - Global, 2020.
Precaución: Estas citas no son 100% exactas.