Efficient provenance tracking for datalog using top-k queries. - Deutch, Daniel; Gilad, Amir; Moskovitch, Yuval (VLDB Journal International Journal on Very Large Data Bases, 2018)