Bolte, Jérôme, Gaubert, Stéphane and Vigeral, Guillaume (2015) Definable zero-sum stochastic games, Mathematics of Operations Research. Mathematics of Operations Research, vol.40 (n°1). pp. 171-191.