Nir, R.; Shleyfman, A.; Karpas, E. Automated Synthesis of Social Laws in STRIPS. AAAI 2020, 34, 9941-9948.