A linear time algorithm for finding dominators in flow graphs and related problems (1985)

by D Harel
Venue:In Proceedings of the 17th Annual A CM Symposium on Theory of Computing