Two approaches that solve the mixed-integer nonlinear bilevel programming problem to global optimality are introduced. The first addresses problems mixed-integer nonlinear in outer variables and C <Superscript>2</Superscript>-nonlinear in inner variables. The second adresses problems with general mixed-integer nonlinear...</superscript>