@article{Brown2013,
    Author = {Brown, ChadE.},
    File = {Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems - Brown (0) (0) - a - a - k.pdf},
    ISSN = {0168-7433},
    Journal = {Journal of Automated Reasoning},
    Keywords = {Higher-order logic; Simple type theory; Higher-order theorem proving; Abstract consistency; SAT solving},
    Language = {English},
    Number = {1},
    Pages = {57-77},
    Publisher = {Springer Netherlands},
    Title = {Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems},
    URL = {http://dx.doi.org/10.1007/s10817-013-9283-8},
    Volume = {51},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s10817-013-9283-8},
    date-added = {2014-01-14 16:59:15 +0000},
    date-modified = {2014-01-14 16:59:15 +0000},
    file-2 = {Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems - Brown (1) (0) - a - a - k.pdf},
    file-3 = {Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems - Brown (2) (0) - a - a - k.pdf},
    doi = {10.1007/s10817-013-9283-8}
}

@article{Brown2013, Author = {Brown, ChadE.}, File = {Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems - Brown (0) (0) - a - a - k.pdf}, ISSN = {0168-7433}, Journal = {Journal of Automated Reasoning}, Keywords = {Higher-order logic; Simple type theory; Higher-order theorem proving; Abstract consistency; SAT solving}, Language = {English}, Number = {1}, Pages = {57-77}, Publisher = {Springer Netherlands}, Title = {Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems}, URL = {http://dx.doi.org/10.1007/s10817-013-9283-8}, Volume = {51}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10817-013-9283-8}, date-added = {2014-01-14 16:59:15 +0000}, date-modified = {2014-01-14 16:59:15 +0000}, file-2 = {Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems - Brown (1) (0) - a - a - k.pdf}, file-3 = {Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems - Brown (2) (0) - a - a - k.pdf}, doi = {10.1007/s10817-013-9283-8} }