1. Improved projection for cylindrical algebraic decomposition;Brown;J. Symb. Comput.,2001
2. Constructing a single open cell in a cylindrical algebraic decomposition;Brown,2013
3. Partial cylindrical algebraic decomposition for quantifier elimination;Collins;J. Symb. Comput.,1991
4. Partial cylindrical algebraic decomposition for quantifier elimination;Collins,1998
5. Hong, H., McCallum, S., in preparation. On Lazard's projection and valuation in CAD construction.