A deterministic bounding procedure for the global optimization of a bi-level mixed-integer problem
scientific article; zbMATH DE number 7355328