@article{DBLP:journals/corr/cs-LO-0105021,
author = {Stefan Ratschan and
Luc Jaulin},
title = {Solving Composed First-Order Constraints from Discrete-Time
Robust Control},
journal = {CoRR},
volume = {cs.LO/0105021},
year = {2001},
ee = {http://arxiv.org/abs/cs.LO/0105021},
bibsource = {DBLP, http://dblp.uni-trier.de}
}