A posteriori error analysis of twofold saddle point variational formulations for nonlinear boundary value problems | OUP Journals & Magazine | IEEE Xplore