@Book{FL+93,
    Author       = "Ferm{\"u}ller, C. and Leitsch, A. and Tammet, T. and Zamov, N.",
    Year         = "1993",
    Title        = "{Resolution Methods for the Decision Problem}",
    Series       = "Lecture Notes in Computer Science",
    Number       = "679",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}