Frédéric Mazoit Nicolas Nisse Monotonicity of Non-deterministic Graph Searching. 33-44 2007 conf/wg/2007 WG http://dx.doi.org/10.1007/978-3-540-74839-7_4 db/conf/wg/wg2007.html#MazoitN07