Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao. Triangular decomposition of semi-algebraic systems. In Wolfram Koepf, editor, Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany, July 25-28, 2010, Proceedings. pages 187-194, ACM, 2010. [doi]
Abstract is missing.