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