Termination of linear programs with nonlinear constraints
scientific article; zbMATH DE number 5814773