Computing the Why-Provenance for Datalog Queries via SAT Solvers.

Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider

Browse the full AAAI paper archive.