Stevens, L., & Ghidini, R. (2025). Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm.
Chicago Style (17th ed.) CitationStevens, Lukas, and Rebecca Ghidini. Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm. 2025.
MLA (9th ed.) CitationStevens, Lukas, and Rebecca Ghidini. Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm. 2025.
Warning: These citations may not always be 100% accurate.