Testing flow graph reducibility (1974)

by R E Tarjan
Venue:J. Comput. Syst. Sci