TY  - RPRT
TI  - Constructing Sequences One Step at a Time
AU  - Henry Towsner
PY  - 2018
UR  - https://arxiv.org/abs/1609.05509
ID  - 1609.05509
ER  -