Theoretical and Numerical Comparison of Nine Single-Level Reformulations for Bilevel Programs. - Li, Yu-Wei; Lin, Gui-Hua; Zhu, Xide (INFORMS Journal on Computing, 2026)