First-order queries on finite structures over the reals. - Paredaens, Jan; Van den Bussche, Jan; Van Gucht, Dirk (SIAM Journal on Computing, 1998)