[VMCAI'24] Solving Two-Player Games under Progress Assumptions | ACM SIGPLAN | Podwise