"Quantifier Elimination in the Theory of an Algebraically-closed Field"

Doug Ierardi (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics