@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
}
