Neyman, E.; Roughgarden, T. Strictly Proper Contract Functions Can Be Arbitrage-Free. AAAI 2022, 36, 5150-5155.