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

by D Harel
Venue:In Annual ACM Symposium on theory of computing (STOC