Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Bockmayr, A., & Weispfenning, V. (2001). Solving numerical constraints. In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning (pp. 751-842). Amsterdam, the Netherlands: Elsevier.