Use DFS (or BFS) to compute an initially reachable set of nodes starting at node 0. Then, iteratively remove (or ignore) each node and recompute DFS (or BFS) reachability from node 0. If a given node i was reachable before removing another node j, then j dominates i.