9ARNON D S, COLLINS G E, MCCALLUM S. Cylindrical algebraic decomposition I : the basic algorithm [J]. SIAM Journal on Computing, 1984, 13(4) : 865-877.
10ARNON D S, COLLINS G E, MCCALLUM S. Cylindrical algebraic decomposition II: an adjacency algorithm for the plane [ J ]. SIAM Journal on Computing, 1984, 13 (4) : 878-889.