@inproceedings{Ierardi_1989,
    doi = {10.1145/73007.73020},
    url = {https://doi.org/10.1145%2F73007.73020},
    year = {1989},
    publisher = {{ACM} Press},
    author = {D. Ierardi},
    title = {Quantifier elimination in the theory of an algebraically-closed field},
    booktitle = {Proceedings of the twenty-first annual {ACM} symposium on Theory of computing  - {STOC} {\textquotesingle}89}
}

@inproceedings{Ierardi_1989, doi = {10.1145/73007.73020}, url = {https://doi.org/10.1145%2F73007.73020}, year = {1989}, publisher = {{ACM} Press}, author = {D. Ierardi}, title = {Quantifier elimination in the theory of an algebraically-closed field}, booktitle = {Proceedings of the twenty-first annual {ACM} symposium on Theory of computing - {STOC} {\textquotesingle}89} }