R. Nir, A. Shleyfman, and E. Karpas, “Automated Synthesis of Social Laws in STRIPS”, AAAI, vol. 34, no. 06, pp. 9941-9948, Apr. 2020.