CORRETOR ORTOGRÁFICO AUTOMÁTICO: O USO POR PROFESSORES DE PORTUGUÊS