VERIFIED METHODS FOR COMPUTING PARETO SETS: GENERAL ALGORITHMIC ANALYSIS. - G.-TÓTH, BOGLÁRKA; KREINOVICH, VLADIK (International Journal of Applied Mathematics & Computer Science, 2009)