Testing flow graph reducibility (1973)

by Robert Tarjan
Venue:In Proceedings of the fifth annual ACM symposium on Theory of computing, STOC ’73