C. ABAR, T. Recio, M. P. Vélez, e S. Van Vaerenbergh, «Herramientas de Razonamiento Automático en GeoGebra: qué son y para qué sirven», UNION, vol. 16, n. 59, pp. 08-15, Ago. 2020.