J. Zhou and M. Müller. Depth-first discovery algorithm for incremental topological sorting of directed acyclic graphs. Information Processing Letters, 88(4):195-200, 2003.
J. Zhou. Incremental search algorithms. Master's thesis, University of Alberta, 2003.
Martin Müller