C. ABAR, T. Recio, M. P. Vélez, y 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.