This work sets forth the first thermodynamically consistent constitutive theory for ice sheets undergoing strain-induced anisotropy, polygonization and recrystallization effects. It is based on the ...