@inproceedings{inproceedings:cav_h1_06,
	author		= {Jochen Eisinger and Felix Klaedtke},
	title		= {Don't Care Words with Application to the Automata-based Approach for Real Addition},
	booktitle	= {Proc. of the 18th International Conference on Computer Aided Verification (CAV'06)},
	year		= 2006,
	series		= {Lecture Notes in Computer Science},
	pages		= {67--80},
	publisher	= {Springer-Verlag},
	isbn		= {3-540-37406-X},
	address		= {Berlin, Heidelberg, New York},
}