Zhang, D.; Thielscher, M. A Logic for Reasoning About Game Strategies. AAAI 2015, 29.