… In this paper, we study the complexity of deciding which player has a winning strategy in certain types of McNaughton games. These graph games can be used … algorithms to determine which player has a winning strategy in each of the games …
FUIN, 49(4):301-312, 2002.