Succinct Ambiguous Contracts. - Paul Duetting; Michal Feldman; Yarden Rashti (CoRR, 2025)