@INPROCEEDINGS {4852,
author={J.C. Cederquist},
booktitle={TYPES for Proofs and Programs},
title={An implementation of the Heine-Bore covering theorem in type theory},
year={1998},
month={October},
volume={LICS, volume 1512},
pages={46-65} 
}
Create and download bib file