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