TY  - RPRT
TI  - Short lists with short programs in short time - a short proof
AU  - Marius Zimand
PY  - 2013
UR  - https://arxiv.org/abs/1302.1109
ID  - 1302.1109
ER  -