Robert Endre Tarjan Edge-Disjoint Spanning Trees and Depth-First Search. 171-185 1976 6 Acta Inf. db/journals/acta/acta6.html#Tarjan76