Nir, R., Shleyfman, A. and Karpas, E. (2023) “Automated Verification of Social Laws in Numeric Settings”, Proceedings of the AAAI Conference on Artificial Intelligence, 37(10), pp. 12087-12094. doi: 10.1609/aaai.v37i10.26425.