TY - JOUR T1 - Exact solutions to the thermomechanically coupled shallow-ice approximation: effective tools for verification JF - Journal of Glaciology Y1 - 2007 A1 - E. Bueler A1 - Brown, J. A1 - C S Lingle VL - 53 ER -