@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" }