Loukas Georgiadis, Robert Endre Tarjan. Dominator tree verification and vertex-disjoint paths. In Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2005, Vancouver, British Columbia, Canada, January 23-25, 2005. pages 433-442, SIAM, 2005. [doi]
Abstract is missing.