TY  - RPRT
TI  - The reverse mathematics of wqos and bqos
AU  - Alberto Marcone
PY  - 2019
DO  - 10.1007/978-3-030-30229-0
UR  - https://arxiv.org/abs/1707.08365
ID  - 1707.08365
ER  -