"Selective Provenance for Datalog Programs Using Top-K Queries."

Daniel Deutch, Amir Gilad, Yuval Moskovitch (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics