@inproceedings {180753,
	author = {Saumen Dey and Sean Riddle and Bertram Lud{\"a}scher},
	title = {Provenance Analyzer: Exploring Provenance Semantics with Logic Rules},
	booktitle = {5th USENIX Workshop on the Theory and Practice of Provenance (TaPP 13)},
	year = {2013},
	address = {Lombard, IL},
	url = {https://www.usenix.org/conference/tapp13/technical-sessions/presentation/dey},
	publisher = {USENIX Association},
	month = apr
}
