Bauer, Leucker, Schallhart, Tautschnig, 2009. Don't care in SMT: building flexible yet efficient abstraction/refinement solvers 12.. https://doi.org/10.1007/s10009-009-0133-2