@article{Ratschan:00,
  author = 	 {Stefan Ratschan},
  title = 	 {Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving},
  journal =      {Journal of Universal Computer Science},
  year =         2000,
  volume =	 6,
  number =	 9
}