Andreas Dolzmann Solving Geometric Problems with Real Quantifier Elimination. 14-29 http://link.springer.de/link/service/series/0558/bibs/1669/16690014.htm 1998 conf/adg/1998 Automated Deduction in Geometry db/conf/adg/adg1998.html#Dolzmann98