Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
Hanus, M. (1995). Compile-Time Analysis of Nonlinear Constraints in CLP(R). New Generation Computing, 13(2), 155-186.