@InProceedings{Ratschan:02d,
  author = 	 {Stefan Ratschan},
  title = 	 {Continuous First-Order Constraint Satisfaction with Equality and Disequality Constraints},
  editor =       {Pascal van Hentenryck},
  booktitle =	 {Proc. 8th International Conference on Principles and Practice of Constraint Programming},
  year =	 2002,
  publisher =    {Springer},
  series =       {LNCS},
  number =       {2470},
  pages =        {680--685}
}