Brütschand Thomas. Solving Infinite Games in the Baire Space. 30 Mar. 2022.