Normalisation Control in Deep Inference via Atomic Flows.

Alessio Guglielmi Tom Gundersen Normalisation Control in Deep Inference via Atomic Flows. 2008 4 Logical Methods in Computer Science 1 http://dx.doi.org/10.2168/LMCS-4(1:9)2008 db/journals/lmcs/lmcs4.html#GuglielmiG08