X. Sánchez, L. Portillo, M. González, and R. Luque, “Software Educativo para el razonamiento de los problemas matemáticos.”, Encuentro Educacional, vol. 13, no. 2, 1.