TY  - RPRT
TI  - On the Complexity of Finding Narrow Proofs
AU  - Christoph Berkholz
PY  - 2012
UR  - https://arxiv.org/abs/1204.0775
ID  - 1204.0775
ER  -