Peter Dorato Wei Yang Chaouki T. Abdallah Robust Multi-Objective Feedback Design by Quantifier Elimination. 153-159 1997 24 J. Symb. Comput. 2 db/journals/jsc/jsc24.html#DoratoYA97