Eric Allender, Archit Chauhan, Samir Datta: Depth-First Search in Directed Graphs, Revisited. Electron. Colloquium Comput. Complex. TR20: Article TR20-074 (2020)