@inproceedings{Gr_del_1995,
    doi = {10.1145/225058.225151},
    url = {https://doi.org/10.1145%2F225058.225151},
    year = {1995},
    publisher = {{ACM} Press},
    author = {Erich Grädel and Klaus Meer},
    title = {Descriptive complexity theory over the real numbers},
    booktitle = {Proceedings of the twenty-seventh annual {ACM} symposium on Theory of computing  - {STOC} {\textquotesingle}95}
}

@inproceedings{Gr_del_1995, doi = {10.1145/225058.225151}, url = {https://doi.org/10.1145%2F225058.225151}, year = {1995}, publisher = {{ACM} Press}, author = {Erich Grädel and Klaus Meer}, title = {Descriptive complexity theory over the real numbers}, booktitle = {Proceedings of the twenty-seventh annual {ACM} symposium on Theory of computing - {STOC} {\textquotesingle}95} }