TY  - RPRT
TI  - Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm
AU  - Lukas Stevens
AU  - Rebecca Ghidini
PY  - 2025
UR  - https://arxiv.org/abs/2504.10246
ID  - 2504.10246
ER  -