Recognizing unordered depth-first search trees of an undirected graph in parallel | IEEE Journals & Magazine | IEEE Xplore