Dominator tree verification and vertex-disjoint paths.

Loukas Georgiadis, Robert Endre Tarjan

Browse the full SODA paper archive.