## Michael Ben-Or, Dexter Kozen, John H. Reif

*The Complexity of Elementary Algebra and Geometry*

STOC, 1984.

@inproceedings{STOC-1984-Ben-OrKR, author = "Michael Ben-Or and Dexter Kozen and John H. Reif", booktitle = "{Proceedings of the 16th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/800057.808712", pages = "457--464", publisher = "{ACM}", title = "{The Complexity of Elementary Algebra and Geometry}", year = 1984, }