Calautti, M.; Livshits, E.; Pieris, A.; Schneider, M. Computing the Why-Provenance for Datalog Queries via SAT Solvers. AAAI 2024, 38, 10459-10466.