Vadim Malvone, Aniello Murano: Reasoning About Additional Winning Strategies in Two-Player Games. EUMAS/AT 2017: 163-171