Three eOEcient algorithms based on partition re��nement (1987)

by R Paige, R Tarjan
Venue:SIAM Journal of Computing