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

by A L Chistov, D Y Grigoriev
Venue:In Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science