Error Reduction in Adaptive Finite Element Approximations of Elliptic Obstacle Problems. JCM 2018, 27 (2-3), 148-169.