Changbo Chen Marc Moreno Maza Bican Xia Lu Yang Computing Cylindrical Algebraic Decomposition via Triangular Decomposition http://arxiv.org/abs/0903.5221 2009 CoRR abs/0903.5221 db/journals/corr/corr0903.html#abs-0903-5221 informal publication