Computing the Cylindrical Algebraic Decomposition Adapted to a Set of Equalities | Publicación