@Article{Eisinger_Klaedtke:dont_cares_journal,
  title     = {Don't Care Words with an Application to the Automata-Based
               Approach for Real Addition},
  author    = {Jochen Eisinger and Felix Klaedtke},
  journal   = {Formal Methods in System Design},
  pages     = {85--115},
  volume    = {33},
  number    = {1--3},
  year      = {2008},
  publisher = {Springer-Verlag},
}