I. Miranda Díaz, “La demostración automática de teoremas en Geometría elemental y su repercusión didáctica”, ensciencias, vol. 6, no. 1, pp. 61–65, Oct. 2006.