Characterization and Description of Basic Semialgebraic Sets.

Published in: Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science (2001)