1. Dongming Wang, Decomposing algebraic varieties, Automated Deduction in Geometry (Beijing, 1998), Lecture Notes in Comput. Sci., vol. 1669, Springer, Berlin, 1999, pp. 180–206.[MR]