@ARTICLE{
author={Maksimovic Petar,Schmitt Alan},
year={2015},
title={HOCore in Coq},
journal={INTERACTIVE THEOREM PROVING},
volume={9236},
number={},
pages={278-293},
document_type={Proceedings Paper},
}