An interval arithmetic method for global optimization
scientific article; zbMATH DE number 3626521