Irredundant algorithms for traversing directed graphs: the nondeterministic case
scientific article; zbMATH DE number 2183792