Igor B. Bourdonov Alexander Kossatchev Victor V. Kuliamin Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. 2-17 2004 30 Programming and Computer Software 1 http://dx.doi.org/10.1023/B:PACS.0000013436.72070.95 db/journals/pcs/pcs30.html#BourdonovKK04