New branch-and-cut algorithm for bilevel linear programming - Audet, Charles; Savard, Gilles; Zghal, Walid (Journal of Optimization Theory and Applications, 2007)