Lee, et al.. PUG: A Framework and Practical Implementation for Why & Why-not Provenance (extended Version). 16 Aug. 2018.