Hanus, M. (1993). Analysis of Nonlinear Constraints in CLP($\calR$). In D. S., Warren (Ed.), Proceedings of the 10th International Conference on Logic Programming (ICLP '93) (pp. 83-99). Cambridge, USA: MIT Press.