TY  - RPRT
TI  - A System of Interaction and Structure II: The Need for Deep Inference
AU  - Alwen Tiu
PY  - 2006
DO  - 10.2168/lmcs-2(2:4)2006
UR  - https://arxiv.org/abs/cs/0512036
ID  - cs/0512036
ER  -