Cita APA (7a ed.)

Kovács, Z., & Vujic, A. (2024). Open Source Prover in the Attic.

Cita Chicago Style (17a ed.)

Kovács, Zoltán, y Alexander Vujic. Open Source Prover in the Attic. 2024.

Cita MLA (9a ed.)

Kovács, Zoltán, y Alexander Vujic. Open Source Prover in the Attic. 2024.