@InProceedings{Ratschan:01b,
  author = 	 {Stefan Ratschan and Luc Jaulin},
  title = 	 {Solving Composed First-Order Constraints From Discrete-Time Robust Control},
  booktitle = 	 {Proceedings of the Sixth Annual Workshop of the ERCIM Working Group on Constraints},
  note = {\url{http://arXiv.org/html/cs/0110012}},
  year =	 2001
}