TY  - RPRT
TI  - Normalisation Control in Deep Inference via Atomic Flows
AU  - Alessio Guglielmi
AU  - Tom Gundersen
PY  - 2008
DO  - 10.2168/lmcs-4(1:9)2008
UR  - https://arxiv.org/abs/0709.1205
ID  - 0709.1205
ER  -