Efficient provenance tracking for datalog using top-k queries - Daniel Deutch; Amir Gilad; Yuval Moskovitch (VLDB J., 2018)