Testing ow graph reducibility (1974)

by R E Tarjan
Venue:Journal of Computer and System Sciences