Chad E. Brown. Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems. Journal of Automated Reasoning, 51(1):57-77, 2013. [doi]
@article{Brown13-4,
title = {Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems},
author = {Chad E. Brown},
year = {2013},
doi = {10.1007/s10817-013-9283-8},
url = {http://dx.doi.org/10.1007/s10817-013-9283-8},
researchr = {https://researchr.org/publication/Brown13-4},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {51},
number = {1},
pages = {57-77},
}