## Doug Ierardi

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

STOC, 1989.

@inproceedings{STOC-1989-Ierardi, author = "Doug Ierardi", booktitle = "{Proceedings of the 21st Annual ACM Symposium on Theory of Computing}", doi = "10.1145/73007.73020", isbn = "0-89791-307-8", pages = "138--147", publisher = "{ACM}", title = "{Quantifier Elimination in the Theory of an Algebraically-closed Field}", year = 1989, }