Bolte, Jérôme and Pauwels, Edouard (2016) Majorization-minimization procedures and convergence of SQP methods for semi-algebraic and tame programs. Mathematics of Operations Research, vol. 41 (n° 2). pp. 442-465.