A. Maciel and D. Mauá.
" Explanation-based Approximate Inference in Stratified Probabilistic Logic Programs", in Anais do XXIII Encontro Nacional de Inteligência Artificial e Computacional, Cuiabá/MT, 2026, pp. 2277-2288, doi: https://doi.org/10.5753/eniac.2026.31568.