Recovering lower bounds of the error by postprocessing implicit residual a posteriori error estimates | Publicación