Three partition refinement algorithms (1987)

by R Paige, R E Tarjan
Venue:SIAM Journal on Computing