Felix Klaedtke. Ehrenfeucht-Fraïssé goes automatic for real addition. Inf. Comput., 208(11):1283-1295, 2010. [doi]
@article{Klaedtke10, title = {Ehrenfeucht-Fraïssé goes automatic for real addition}, author = {Felix Klaedtke}, year = {2010}, doi = {10.1016/j.ic.2010.07.003}, url = {http://dx.doi.org/10.1016/j.ic.2010.07.003}, researchr = {https://researchr.org/publication/Klaedtke10}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {208}, number = {11}, pages = {1283-1295}, }