L. C. Cachafeiro, «Resolución de ecuaciones, unificación, automatización del conocimiento y matemática educativa», Tarbiya, n.º 15, pp. 79–88, ene. 1997.