COBRA: Compression Via Abstraction of Provenance for Hypothetical Reasoning | IEEE Conference Publication | IEEE Xplore