Defining Winning Strategies in Fixed-Point Logic.

Felix Canavoi, Erich Grdel, Simon Leenich, Wied Pakusa

Browse the full LICS paper archive.