On global optimality conditions via separation functions

- Rubinov, Alex, Uderzo, A.