M. Calautti, E. Livshits, A. Pieris, and M. Schneider, “Computing the Why-Provenance for Datalog Queries via SAT Solvers”, AAAI, vol. 38, no. 9, pp. 10459-10466, Mar. 2024.