(1)
Draghici, A.; Gottlob, G.; Lanzinger, M. On the Complexity of Inductively Learning Guarded Clauses. AAAI 2022, 36, 5600-5607.