Complexity of quantifier elimination in the theory of algebraically closed fields (1984)

by Grigoriev
Venue:In Mathematical foundations of computer science