Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dtXKW (Verlagsversion)
Hanus, M. (1995). Compile-Time Analysis of Nonlinear Constraints in CLP(R). New Generation Computing, 13(2), 155-186. doi:10.1007/BF03038312.