Interval Methods for Solving Nonlinear Constraint Satisfaction, Optimization and Similar Problems - Kubica (Springer International Publishing, 2019)