Morel, R. Constraint-Driven Learning of Logic Programs. AAAI 2021, 35, 15726-15727.