1. Arai, Z.: On hyperbolic plateaus of the Hénon map. Journal Experimental Mathematics 16(2), 181–188 (2007)
2. Araya, I., Trombettoni, G., Neveu, B.: Exploiting monotonicity in interval constraint propagation. In: AAAI (2010)
3. Banhelyi, B., Csendes, T., Garay, B., Hatvani, L.: A computer-assisted proof of σ
3-chaos in the forced damped pendulum equation. SIAM Journal on Applied Dynamical Systems 7, 843–867 (2008)
4. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising hull and box consistency. In: ICLP, pp. 230–244 (1999)
5. Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(Intervals) revisited. In: Procs. Intl. Symp. on Logic Prog., pp. 124–138. The MIT Press (1994)