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