Jochen Eisinger Felix Klaedtke Don't Care Words with an Application to the Automata-Based Approach for Real Addition. 67-80 2006 conf/cav/2006 CAV http://dx.doi.org/10.1007/11817963_10 db/conf/cav/cav2006.html#EisingerK06