G. Trombettoni, I. Araya, B. Neveu, and G. Chabert, “Inner Regions and Interval Linearizations for Global Optimization”, AAAI, vol. 25, no. 1, pp. 99-104, Aug. 2011.