How long is a Proof? - A short note
<|reference_start|>How long is a Proof? - A short note: Withdrawn. Silly notion and out of context.<|reference_end|>
@article{yaneff2002how,
    title={How long is a Proof? - A short note},
    author={A. G. Yaneff},
    journal={arXiv preprint arXiv:cs/0211026},
    year={2002},
    archivePrefix={arXiv},
    eprint={cs/0211026},
    primaryClass={cs.CC}
}