| |
| 2009 | ||
|---|---|---|
| 2 | EE | Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot: Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae CoRR abs/0903.5392: (2009) |
| 2007 | ||
| 1 | EE | Alessio Guglielmi, Tom Gundersen: Normalisation Control in Deep Inference Via Atomic Flows CoRR abs/0709.1205: (2007) |
| 1 | Paola Bruscoli | [2] |
| 2 | Alessio Guglielmi | [1] [2] |
| 3 | Michel Parigot | [2] |