Kortenkamp, U., & Richter-Gebert J.  (2004).  Using Automatic Theorem Proving to Improve the Usability of Geometry Software.  (Libbrecht, P., Ed.).Proceedings of MathUI 2004.