On the Complexity of Finding Locally Optimal Solutions in Bilevel Linear Optimization
Prokopyev et al. (Wed,) studied this question.