TY  - RPRT
TI  - Cylindrical Algebraic Sub-Decompositions
AU  - D. J. Wilson
AU  - R. J. Bradford
AU  - J. H. Davenport
AU  - M. England
PY  - 2014
DO  - 10.1007/s11786-014-0191-z
UR  - https://arxiv.org/abs/1401.0647
ID  - 1401.0647
ER  -