Ferruccio Guidi. Procedural Representation of CIC Proof Terms. Journal of Automated Reasoning, 44(1-2):53-78, 2010. [doi]
@article{Guidi10, title = {Procedural Representation of CIC Proof Terms}, author = {Ferruccio Guidi}, year = {2010}, doi = {10.1007/s10817-009-9137-6}, url = {http://dx.doi.org/10.1007/s10817-009-9137-6}, researchr = {https://researchr.org/publication/Guidi10}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {44}, number = {1-2}, pages = {53-78}, }