TY  - RPRT
TI  - Demuth's path to randomness
AU  - Antonín Kučera
AU  - André Nies
AU  - Christopher P. Porter
PY  - 2014
UR  - https://arxiv.org/abs/1404.4449
ID  - 1404.4449
ER  -