Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
Hanus, M. (1993). Analysis of Nonlinear Constraints in CLP(R). In D. S. Warren (Ed.), Proceedings of the 10th International Conference on Logic Programming (ICLP '93) (pp. 83-99). Cambridge, USA: MIT Press.