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.