Chad E. Brown
CADE – the 23rd International Conference on Automated Deduction, pp. 147 -- 161, Springer, July 2011
@CONFERENCE{Brown2011a,
title = {Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems},
author = {Chad E. Brown},
year = {2011},
month = {Jul},
editor = {Nikolaj Bjørner and Viorica Sofronie-Stockkermans},
publisher = {Springer},
booktitle = {CADE – the 23rd International Conference on Automated Deduction},
series = {LNCS/LNAI 6803},
pages = {147 -- 161},
}
