Cita APA (7a ed.)

Stevens, L., & Ghidini, R. (2025). Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm.

Cita Chicago Style (17a ed.)

Stevens, Lukas, y Rebecca Ghidini. Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm. 2025.

Cita MLA (9a ed.)

Stevens, Lukas, y Rebecca Ghidini. Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm. 2025.