Hanus, M. (1995). Compile-Time Analysis of Nonlinear Constraints in CLP(R). New Generation Computing, 13(2), 155-186. doi:10.1007/BF03038312.