S. Wilson, and J. Fleuriot. Proceedings of the European Joint Conferences on Theory and Practice
of Software (ETAPS) Satellite Workshop on User Interfaces for Theorem
Provers (UITP), Edinburgh, UK, (April 2005)
U. Kortenkamp, and J. Richter-Gebert. Automated Deduction in Geometry, volume 2061 of Lecture Notes in Computer Science, page 193-198. Springer, (2000)