TY  - RPRT
TI  - A Core Calculus for Provenance
AU  - Umut A. Acar
AU  - Amal Ahmed
AU  - James Cheney
AU  - Roly Perera
PY  - 2014
DO  - 10.3233/jcs-130487
UR  - https://arxiv.org/abs/1310.6299
ID  - 1310.6299
ER  -