TY  - RPRT
TI  - Narrow Proofs May Be Maximally Long
AU  - Albert Atserias
AU  - Massimo Lauria
AU  - Jakob Nordström
PY  - 2014
UR  - https://arxiv.org/abs/1409.2731
ID  - 1409.2731
ER  -