Three efficient algorithms based on partition refinement, (preprint (1986)

by R Paige, R Tarjan