@Article{	  eisinger.ea:dont:2008,
  author	= {Jochen Eisinger and Felix Klaedtke},
  copyright	= {Springer-Verlag},
  copyrighturl	= {www.springer.com},
  journal	= {Formal Methods in System Design},
  language	= {USenglish},
  number	= {1--3},
  pages		= {85--115},
  title		= {Don't Care Words with an Application to the Automata-Based
		  Approach for Real Addition},
  volume	= 33,
  year		= 2008,
  user		= {felixkl}
}