## Chad E. Brown

*Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems*

CADE, 2011.

@inproceedings{CADE-2011-Brown, author = "Chad E. Brown", booktitle = "{Proceedings of the 23rd International Conference on Automated Deduction}", doi = "10.1007/978-3-642-22438-6_13", isbn = "978-3-642-22437-9", pages = "147--161", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems}", volume = 6803, year = 2011, }