TY  - RPRT
TI  - How long is a Proof? - A short note
AU  - A. G. Yaneff
PY  - 2003
UR  - https://arxiv.org/abs/cs/0211026
ID  - cs/0211026
ER  -