Frédéric Mazoit, Nicolas Nisse. Monotonicity of non-deterministic graph searching. Theoretical Computer Science, 399(3):169-178, 2008. [doi]
@article{MazoitN08, title = {Monotonicity of non-deterministic graph searching}, author = {Frédéric Mazoit and Nicolas Nisse}, year = {2008}, doi = {10.1016/j.tcs.2008.02.036}, url = {http://dx.doi.org/10.1016/j.tcs.2008.02.036}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/MazoitN08}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {399}, number = {3}, pages = {169-178}, }