@Article{NOT06,
    Author       = "Nieuwenhuis, R. and Oliveras, A. and Tinelli, C.",
    Year         = "2006",
    Title        = "{Solving SAT and SAT Modulo Theories: from an Abstract
                    Davis-Putnam-Logemann-Loveland Procedure to DPLL(T)}",
    Journal      = "Journal of the ACM",
    Volume       = "53",
    Number       = "6",
    Pages        = "937-977",
    Comment      = ""
}