@InProceedings{Ratschan:03b,
  author = 	 {Stefan Ratschan},
  title = 	 {Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities},
  booktitle =	 {Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming},

  year =	 2003,
  series =	 {LNCS},
  number =       {2833},
  pages =        {615--633},
  editor =       {Francesca Rossi},
  publisher =	 {Springer}
}