Polar Varieties and Efficient Real Elimination | Publicación