Convergent outer approximation algorithms for solving unary programs
scientific article; zbMATH DE number 1228822