“…After the pioneering works [13] by Hlaváček, Haslinger, Nečas, and Lovíšek (see Theorem 4.2 in this book) and [1] by Ainsworth, Oden, and Lee, a huge amount of work has been performed on the a posteriori analysis of variational inequalities, see, e.g., [2], [5], [11], [14], [16], [19], [20], and the references therein. It can be noted that, in [11], a mixed problem coupling a variational equality and an inequality is also considered.…”