@Book{Tar51,
    Author       = "Tarski, A.",
    Year         = "1951",
    Title        = "{A Decision Method for Elementary Algebra and Geometry}",
    Edition      = "2ed",
    Publisher    = "University of California Press",
    Comment      = "TPTPRef"
}