@Article{BW17, Author = "Beeson, M. and Wos, L.", Year = "2017", Title = "{Finding Proofs in Tarskian Geometry}", Journal = "Journal of Automated Reasoning", Volume = "58", Number = "1", Pages = "181-207", Comment = "TPTPRef" }