R. Morel, “Constraint-Driven Learning of Logic Programs”, AAAI, vol. 35, no. 18, pp. 15726-15727, May 2021.