Miranda Díaz, I. La demostración automática De Teoremas En Geometría Elemental Y Su repercusión didáctica. ensciencias 2006, 6, 61-65.