An Efficient Algorithm for the Sign Condition Problem in the Semi-algebraic Context.

Rafael Grimson
Published in: GMP (2010)