Ahmed Guergueb Jean Mainguené Marie-Françoise Roy Examples of Automatic Theorem Proving a Real Geometry. 20-24 1994 ISSAC http://doi.acm.org/10.1145/190347.190354 db/conf/issac/issac94.html#GuerguebMR94