Xia, Bican Programming Logics, MPI for Informatics, Max Planck Society;
Xia, B., & Yang, L. (2002). An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. Journal of Symbolic Computation, 34, 461-477.