Ricardo Caferra Nicolas Peltier François Puitg Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization. 268-305 2000 conf/adg/2000 Automated Deduction in Geometry http://link.springer.de/link/service/series/0558/bibs/2061/20610268.htm db/conf/adg/adg2000.html#CaferraPP00