Conchon and Jean-Christophe Filliâtre. A persistent union-find data structure (2007)

by Sylvain
Venue:In ML ’07: Proceedings of the 2007 workshop on Workshop on ML