@Book{Bor01,
    Author       = "B{\"o}rger, E. and Gr{\"a}del, E. and Gurevich, Y.",
    Year         = "2001",
    Title        = "{The Classical Decision Problem}",
    Pages        = "33",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}