Felipe Cucker, Pascal Koiran. Computing over the Reals with Addition and Order: Higher Complexity Classes. J. Complexity, 11(3):358-376, 1995. [doi]
@article{CuckerK95,
title = {Computing over the Reals with Addition and Order: Higher Complexity Classes},
author = {Felipe Cucker and Pascal Koiran},
year = {1995},
doi = {10.1006/jcom.1995.1018},
url = {http://dx.doi.org/10.1006/jcom.1995.1018},
tags = {Pascal},
researchr = {https://researchr.org/publication/CuckerK95},
cites = {0},
citedby = {0},
journal = {J. Complexity},
volume = {11},
number = {3},
pages = {358-376},
}