Parametric mixed integer programming by elimination - Weispfenning, Volker 1944-; Rui, Xue (1995)