TY  - RPRT
TI  - A minimal classical sequent calculus free of structural rules
AU  - Dominic Hughes
PY  - 2010
UR  - https://arxiv.org/abs/math/0506463
ID  - math/0506463
ER  -