Jouvet, G. and Bueler, E. (2012) Steady, shallow ice sheets as obstacle problems: Well-posedness and finite element approximation. SIAM J. Appl. Math., 72 (4). pp. 1292-1314. ISSN 0036-1399