1. Wechsung, A., Scott, J. K., Watson, H. A., and Barton, P. I. (2015). Reverse propagation of McCormick relaxations. Journal of Global Optimization, 63(1), 1-36.

2. Vu, X. H., Schichl, H., and Sam-Haroud, D. (2009). Interval propagation and search on directed acyclic graphs for numerical constraint solving. Journal of Global Optimization, 45(4), 499-531.

3. Chachuat, B. (2013). MC++: A versatile library for McCormick relaxations and Taylor models. URL: