@InProceedings{Eisinger_Klaedtke:dont_cares,
  author =       {Jochen Eisinger and Felix Klaedtke},
  title =        {Don't Care Words with an Application to the Automata-based Approach for Real Addition},
  booktitle =    {Proceedings of the 18th International Conference on Computer Aided Verification (CAV 2006)},
  pages =        {67--80},
  year =         {2006},
  volume =       {4144},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}