TY - RPRT TI - Efficiently Computing Provenance Graphs for Queries with Negation AU - Seokki Lee AU - Sven Koehler AU - Bertram Ludaescher AU - Boris Glavic PY - 2017 UR - https://arxiv.org/abs/1701.05699 ID - 1701.05699 ER -