Dennis S. Arnon George E. Collins Scott McCallum An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space. 163-187 1988 5 J. Symb. Comput. 1/2 db/journals/jsc/jsc5.html#ArnonCM88