Francisco Botana Tomás Recio Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. 92-110 2004 conf/adg/2004 Automated Deduction in Geometry http://dx.doi.org/10.1007/11615798_7 db/conf/adg/adg2004.html#BotanaR04