A. Draghici, G. Gottlob, and M. Lanzinger, “On the Complexity of Inductively Learning Guarded Clauses”, AAAI, vol. 36, no. 5, pp. 5600–5607, Jun. 2022.