Testing flow graph reducibility (1972)

by R TARJAN
Venue:TR 73-159, Dep. of Comput. Sci., Cornell U