Draghici, Andrei, Georg Gottlob, and Matthias Lanzinger. “On the Complexity of Inductively Learning Guarded Clauses”. Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 5 (June 28, 2022): 5600-5607. Accessed April 19, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/20500.