Nicolas Troquard Wiebe van der Hoek Michael Wooldridge A logic of games and propositional control. 961-968 2009 AAMAS (2) http://doi.acm.org/10.1145/1558109.1558146 conf/atal/2009-2 db/conf/atal/aamas2009-2.html#TroquardHW09