@misc{indiciae9e14e9e1a090,
  title = {Verification of functional a posteriori error estimates for obstacle problem in 1D},
  author = {Petr Harasim and Jan Valdman},
  year = {2013},
  url = {https://arxiv.org/abs/1301.5923},
  note = {Source identifier: 1301.5923}
}