Finding Proofs in Tarskian Geometry. Beeson, M. & Wos, L. Journal of Automated Reasoning, 58(1):181-207, January, 2017.
Finding Proofs in Tarskian Geometry [pdf]Pdf  bibtex   3 downloads  

Downloads: 3