Daniel  Deutch, Gilad, Amir , and Moskovitch, Yuval . 2018. ?Efficient Provenance Tracking For Datalog Using Top-K Queries?. Vldb J., 27, Pp. 245?269.