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.