TY  - RPRT
TI  - Solving Composed First-Order Constraints from Discrete-Time Robust Control
AU  - Stefan Ratschan
AU  - Luc Jaulin
PY  - 2001
UR  - https://arxiv.org/abs/cs/0105021
ID  - cs/0105021
ER  -