Authors: Bank, B Giusti, M Heintz, J Mbakop, GM

Citation: B. Bank et al., Polar varieties and efficient real elimination, MATH Z, 238(1), 2001, pp. 115-144