Monotonicity of non-deterministic graph searching
scientific article; zbMATH DE number 5292230
scientific article