Nonmonotone game labellings
Tikitu de Jager, Benedikt L~we

Abstract:
We extend the traditional Gale-Stewart algorithm (backward induction)
for the combinatorial graph game to an asymmetric variant; the
extension makes the algorithm non-monotonic, but a linear-time
formulation is still possible.

Keywords: game labellings;  graph games