Gui-Hua Lin, Mengwei Xu, Jane J. Ye: On solving simple bilevel programs with a nonconvex lower level program. Math. Program. 144(1-2): 277-305 (2014)