@inproceedings{GraedelMeer2016, author = {Erich Gr{\"a}del and Klaus Meer}, title = {Descriptive Complexity Theory over the real numbers}, booktitle = {Proceedings of the 27th Annual ACM Symposium on Theory of Computing STOC, Las Vegas, 1995}, pages = {315 -- 324}, doi = {10.1145/225058.225151}, year = {2016}, }