Finding Dominators via Disjoint Set Union
Dominator Tree Certification and Independent Spanning Trees