Finding dominators in practice. Georgiadis, Loukas; Tarjan, Robert E.; Werneck, Renato F. — 2006 Journal of Graph Algorithms and Applications