M. Bateni, H. Esfandiary, V. Mirrokni, and S. Seddighin, “A Study of Compact Reserve Pricing Languages”, AAAI, vol. 31, no. 1, Feb. 2017.