First-order queries on finite structures over the reals

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science (2024) - Comments
doi: 10.1109/lics.1995.523246

J. Paredaens, J. Van Den Bussche, D. Van Gucht