A Decremental Algorithm for Fair Büchi Games. - Irmak Saglam; Anne-Kathrin Schmuck; Munko Tsyrempilon (ATVA, 2024)