TY  - RPRT
TI  - Reverse Mathematics and Recursive Graph Theory
AU  - William Gasarch
AU  - Jeffry Hirst
PY  - 1994
UR  - https://arxiv.org/abs/math/9404206
ID  - math/9404206
ER  -