Solving Composed First-Order Constraints from Discrete-Time Robust Control

Stefan Ratschan Luc Jaulin Solving Composed First-Order Constraints from Discrete-Time Robust Control http://arxiv.org/abs/cs.LO/0105021 2001 CoRR cs.LO/0105021 db/journals/corr/corr0105.html#cs-LO-0105021