Corrections to “Finding dominators via disjoint set union” [J. Discrete Algorithms 23 (2013) 2-20]
Keywords: Depth-first search; Directed graph; Disjoint set union; Dominators; Flow graph; Global code optimization; Program certification;