Cita APA (7a ed.)

Jurgensen, G. (2025). A Proof of the Schröder-Bernstein Theorem in ACL2.

Cita Chicago Style (17a ed.)

Jurgensen, Grant. A Proof of the Schröder-Bernstein Theorem in ACL2. 2025.

Cita MLA (9a ed.)

Jurgensen, Grant. A Proof of the Schröder-Bernstein Theorem in ACL2. 2025.