TY  - RPRT
TI  - Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
AU  - R. Bradford
AU  - C. Chen
AU  - J. H. Davenport
AU  - M. England
AU  - M. Moreno Maza
AU  - D. Wilson
PY  - 2014
DO  - 10.1007/978-3-319-10515-4_4
UR  - https://arxiv.org/abs/1401.6310
ID  - 1401.6310
ER  -