@INPROCEEDINGS {4853,
author={J.C. Cederquist},
booktitle={TYPES for Proofs and Programs},
title={A constructive proof of the Heine-Bore covering theorem for formal reals},
year={1996},
month={September},
volume={LICS, volume 1158},
pages={62-75} 
}
Create and download bib file