Dale Miller. Proof checking and logic programming. Formal Asp. Comput., 29(3):383-399, 2017. [doi]
@article{Miller17-3, title = {Proof checking and logic programming}, author = {Dale Miller}, year = {2017}, doi = {10.1007/s00165-016-0393-z}, url = {http://dx.doi.org/10.1007/s00165-016-0393-z}, researchr = {https://researchr.org/publication/Miller17-3}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {29}, number = {3}, pages = {383-399}, }