Navarra, G.; Pareti, E. “Confrontare Senza Calcolare”: La Ricerca Del Progetto ArAl Sulla Verifica Di Equivalenze Tra Espressioni Matematiche. DdM 2026, 39–66.