@Article{Qua89, Author = "Quaife, A.", Year = "1989", Title = "{Automated Development of Tarski's Geometry}", Journal = "Journal of Automated Reasoning", Volume = "5", Number = "1", Pages = "97-118", Comment = "TPTPRef" }