Laura Bazzotti Giorgio Dalzotto Lorenzo Robbiano Remarks on Geometric Theorem Proving. 104-128 2000 conf/adg/2000 Automated Deduction in Geometry http://link.springer.de/link/service/series/0558/bibs/2061/20610104.htm db/conf/adg/adg2000.html#BazzottiDR00