@Article{	  klaedtke:ehrenfeucht-fraisse:2010,
  author	= {Felix Klaedtke},
  journal	= {Information and Computation},
  language	= {USenglish},
  number	= 11,
  pages		= {1283--1295},
  title		= {Ehrenfeucht-Fraisse Goes Automatic for Real Addition},
  volume	= 208,
  year		= 2010,
  user		= {felixkl}
}