Geometry Theorem Proving by Decomposing Polynomial Systems into Strong Regular Sets. - Yong-Bin Li; Wu Liu; Xiao-Lin Xiang (J. Comput. Sci. Technol., 2004)