Strategies in Games: A Logic-Automata Study
2012 ◽
pp. 110-159
◽