R. Baker Kearfott: Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems. Computing 47(2): 169-191 (1991)