@InProceedings{Ratschan:1,
  author =  {Stefan Ratschan},
  title =  {Continuous First-Order Constraint Satisfaction},
  booktitle =  {Proceedings of Artificial Intelligence and Symbolic Computation},
  year = {2002},
  series = {LNCS},
  publisher = {Springer}
}

@Misc{Ratschan:2,
  author = {Stefan Ratschan},
  title =  {Approximate Quantified Constraint Solving ({AQCS})},
  year =   {2000},
  howpublished = {\texttt{http://www.mpi-sb.mpg.de/~ratschan/AQCS}
  note =   {Software Package}
}