TY  - RPRT
TI  - Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
AU  - Paola Bruscoli
AU  - Alessio Guglielmi
AU  - Tom Gundersen
AU  - Michel Parigot
PY  - 2016
DO  - 10.1007/978-3-642-17511-4_9
UR  - https://arxiv.org/abs/0903.5392
ID  - 0903.5392
ER  -