The Finite-Horizon Retirement Problem with Borrowing Constraint: A Zero-Sum Stopper Versus Singular-Controller Game. - Kim, Takwon; Yang, Zhou; Jeon, Junkee (Mathematics of Operations Research (INFORMS), 2026)