S. A. M. Makki George Havas Distributed Algorithms for Depth-First Search. 7-12 1996 60 Inf. Process. Lett. 1 db/journals/ipl/ipl60.html#MakkiH96 http://dx.doi.org/10.1016/S0020-0190(96)00141-X