TY  - RPRT
TI  - Consistency Without Cut Elimination
AU  - Kai Bruennler
AU  - Alessio Guglielmi
PY  - 2002
UR  - https://arxiv.org/abs/math/0210387
ID  - math/0210387
ER  -