@inproceedings {184655, author = {Christian W. Probst and Rene Rydhof Hansenm}, title = {Model-based Abstraction of Data Provenance}, booktitle = {6th USENIX Workshop on the Theory and Practice of Provenance (TaPP 2014)}, year = {2014}, address = {Cologne}, url = {https://www.usenix.org/conference/tapp2014/agenda/presentation/probst}, publisher = {USENIX Association}, month = jun }