1. F. Botana, Bringing more intelligence to dynamic geometry by using symbolic computation, in: Symbolic Computation and Education, World Scientific, 2007, pp. 136–150.
2. F. Botana, J. L. Valcarce, A software tool for the investigation of plane loci, Mathematics and Computers in Simulation 61 (2) (2003) 139–152.
3. G. Dalzotto, T. Recio, On protocols for the automated discovery of theorems in elementary geometry, Journal of Automated Reasoning 43 (2) (2009) 203–236.
4. R. Losada, T. Recio, J. L. Valcarce, Sobre el descubrimiento automático de diversas generalizaciones del teorema de Steiner-Lehmus, Boletín de la Sociedad Puig Adam 82 (2009) 53–76.
5. R. Losada, T. Recio, J. L. Valcarce, On the automated discovery of Steiner-Lehmus generalizations, in: J. Richter-Gebert, P. Schrek (eds.), Proceedings of ADG’2010, Springer, München, 2010, pp. 171–174.