TY  - RPRT
TI  - Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
AU  - Changbo Chen
AU  - Marc Moreno Maza
AU  - Bican Xia
AU  - Lu Yang
PY  - 2009
UR  - https://arxiv.org/abs/0903.5221
ID  - 0903.5221
ER  -