@InProceedings{	  eisinger.ea:dont:2006-b,
  author	= {Jochen Eisinger and Felix Klaedtke},
  booktitle	= {18th International Conference on Computer Aided
		  Verification (CAV)},
  copyright	= {Springer-Verlag},
  language	= {USenglish},
  month		= {Lecture Notes in Computer Science},
  pdf		= {papers/2006/0_main.pdf},
  title		= {Don't Care Words with an Application to the Automata-based
		  Approach for Real Addition},
  year		= 2006,
  user		= {felixkl}
}