The strong second-order sufficient condition and constraint nondegeneracy in nonlinear semidefinite programming and their implications - Sun, D. (2014)
10.1287/moor.1060.0195