TY - RPRT TI - Provenance for Large-scale Datalog AU - David Zhao AU - Pavle Subotic AU - Bernhard Scholz PY - 2019 UR - https://arxiv.org/abs/1907.05045 ID - 1907.05045 ER -