Determinacy in Discrete-Bidding Infinite-Duration Games (Logical Methods in Computer Science, 2021)