Noriko Hyodo Myunghoon Hong Hitoshi Yanami Shinji Hara Hirokazu Anai Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. 497-512 2007 18 Appl. Algebra Eng. Commun. Comput. 6 http://dx.doi.org/10.1007/s00200-007-0056-7 db/journals/aaecc/aaecc18.html#HyodoHYHA07