TY  - CONF
T1  - A Core Calculus for Provenance
T2  - POST
Y1  - 2012
A1  - Umut A. Acar
A1  - Amal Ahmed
A1  - James Cheney
A1  - Roly Perera
JF  - POST
ER  -