M. Law, A. Russo, E. Bertino, K. Broda, and J. Lobo, “FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria”, AAAI, vol. 34, no. 03, pp. 2877-2885, Apr. 2020.