Efficient Discrete Lagrange Multipliers in three first-order finite element discretizations for the A Posteriori Error Control in an Obstacle Problem. - Carsten Carstensen; Karoline Köhler (SIAM J. Numer. Anal., 2017)