Satisfiability in a logic of games

- Van Drimmelen, Govert Cornelis