First-order queries on finite structures over the reals | IEEE Conference Publication | IEEE Xplore