Remarks on Geometric Theorem Proving. - Laura Bazzotti; Giorgio Dalzotto; Lorenzo Robbiano (Automated Deduction in Geometry, 2000)

On Protocols for the Automated Discovery of Theorems in Elementary Geometry. - Giorgio Dalzotto; Tomás Recio (J. Autom. Reason., 2009)