Local Convergence of SQP Methods for Mathematical Programs with Equilibrium Constraints
Nonlinear programming without a penalty function