G. Navarra e E. Pareti, «“Confrontare senza Calcolare”: la ricerca del progetto ArAl sulla verifica di equivalenze tra espressioni matematiche», DdM, n. 19, pagg. 39–66, mag. 2026.