@Book{DG79,
    Author       = "Dreben, B. and Goldfarb, W.",
    Year         = "1979",
    Title        = "{Decision Problem: Solvable Classes of Quantificational
                    Formulas}",
    Pages        = "120",
    Publisher    = "Addison-Wesley",
    Comment      = "TPTPRef"
}