Neyman, E. and Roughgarden, T. (2022) “Strictly Proper Contract Functions Can Be Arbitrage-Free”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), pp. 5150-5155. doi: 10.1609/aaai.v36i5.20449.