Definability and fast quantifier elimination in algebraically closed fields (1983)

by J Heintz
Venue:Theoret. Comp. Sci