Endre Tarjan. Testing flow graph reducibility (1974)

by Robert
Venue:Journal of Computer and System Sciences