Numerical certification of Pareto optimality for biobjective nonlinear problems - Audet, Charles; Messine, Frédéric; Ninin, Jordan (Journal of Global Optimization, 2022)