Daniel Deutch, Gilad, Amir , and Moskovitch, Yuval . 2015. “Selective Provenance For Datalog Programs Using Top-K Queries”. Proc. Vldb Endow., 8, Pp. 1394–1405.