Second-order optimality conditions for bilevel programs - Xiang Liu; Mengwei Xu; Liwei Zhang (2023)