TY  - RPRT
TI  - The distribution of ITRM-recognizable reals
AU  - Merlin Carl
PY  - 2012
DO  - 10.1016/j.apal.2014.04.010
UR  - https://arxiv.org/abs/1208.1901
ID  - 1208.1901
ER  -