@Article{klaedtke:ef_automatic_j,
  author =       {Felix Klaedtke},
  title =        {{Ehrenfeucht-Fra\"iss\'e} Goes Automatic for Real Addition},
  journal =      {Information and Computation},  
  volume =       {208},
  number =       {11},
  pages =        {1283--1295},
  year =         {2010},
}