@unpublished{bruscoli:inria-00441213, TITLE = {{Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae}}, AUTHOR = {Bruscoli, Paola and Guglielmi, Alessio and Gundersen, Tom and Parigot, Michel}, URL = {https://inria.hal.science/inria-00441213}, NOTE = {working paper or preprint}, YEAR = {2009}, MONTH = Dec, PDF = {https://inria.hal.science/inria-00441213/file/QuasiPolNormDI.pdf}, HAL_ID = {inria-00441213}, HAL_VERSION = {v1}, }