@InProceedings{klaedtke:ef_automatic,
  author =       {Felix Klaedtke},
  title =        {{Ehrenfeucht-Fra\"iss\'e} Goes Automatic for Real Addition},
  booktitle =    {Proceedings of the 25th International Symposium on 
                  Theoretical Aspects of Computer Science (STACS'08)},
  pages =        {445--456},
  year =         {2008},
  volume =       {1},
  series =       {Leibiz International Proceedings in Informatics (LIPIcs)},
  publisher =    {Schloss Dagstuhl - Leibniz Center for Informatics}, 
}