Linear-Time Algorithms for Dominators and Other Path-Evaluation Problems.

Adam L. Buchsbaum Loukas Georgiadis Haim Kaplan Anne Rogers Robert Endre Tarjan Jeffery Westbrook Linear-Time Algorithms for Dominators and Other Path-Evaluation Problems. 1533-1573 2008 38 SIAM J. Comput. 4 http://dx.doi.org/10.1137/070693217 db/journals/siamcomp/siamcomp38.html#BuchsbaumGKRTW08