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