A Persistent Union-Find Data Structure (2007)

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