Cachafeiro, L. C. Resolución De Ecuaciones, unificación, automatización Del Conocimiento Y matemática Educativa. Tarbiya 1997, 79-88.