@Article{Bro13,
    Author       = "Brown, C.E.",
    Year         = "2013",
    Title        = "{Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "51",
    Number       = "1",
    Pages        = "57-77",
    Comment      = ""
}