Before revision:  The proposed framework is formulated as a non-linear integer bilevel model , which is then recast as an equivalent single optimization problem, by using integer algebra and complementarity relations.
After revision:  The proposed framework is formulated as a non-linear integer bilevel program , which is then recast as an equivalent single optimization problem, by using integer algebra and complementarity relations.