Don't care words with an application to the automata-based approach for real addition
mixed linear arithmetic over the integers and reals
scientific article; zbMATH DE number 5576072
Computer Aided Verification
scientific article