Ratschan, Stefan Programming Logics, MPI for Informatics, Max Planck Society;
Ratschan, S. (2003). Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities. In Principles and practice on constraint programming - CP 2003: 9th International Conference, CP 2003 (pp. 615-633). Berlin, Germany: Springer.