Complexity of Quantifier Elimination in the Theory of Algebraically Closed Fields.

Alexander L. Chistov, Dima Grigoriev

Browse the full MFCS paper archive.