Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens. Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation. Journal of Automated Reasoning, 56(3):221-259, 2016. [doi]
@article{KumarAMO16,
title = {Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation},
author = {Ramana Kumar and Rob Arthan and Magnus O. Myreen and Scott Owens},
year = {2016},
doi = {10.1007/s10817-015-9357-x},
url = {http://dx.doi.org/10.1007/s10817-015-9357-x},
researchr = {https://researchr.org/publication/KumarAMO16},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {56},
number = {3},
pages = {221-259},
}