Miranda Díaz, I. «La demostración automática De Teoremas En Geometría Elemental Y Su repercusión didáctica». Enseñanza De Las Ciencias. Revista De investigación Y Experiencias didácticas, vol. 6, n.º 1, octubre de 2006, pp. 61-65, doi:10.5565/rev/ensciencias.5063.