Jeffry L. Hirst, Jessica Miller. More reverse mathematics of the Heine-Borel Theorem. J. Logic & Analysis, 4, 2012. [doi]
@article{HirstM12-0,
title = {More reverse mathematics of the Heine-Borel Theorem},
author = {Jeffry L. Hirst and Jessica Miller},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/141/53},
researchr = {https://researchr.org/publication/HirstM12-0},
cites = {0},
citedby = {0},
journal = {J. Logic & Analysis},
volume = {4},
}