A Persistent Union-Find Data Structure (2007)

by S Conchon, J-C Filliâtre
Venue:In Proc. ACM SIGPLAN Workshop on ML