@article{bauer:leucker:schallhart:tautschn:sttt10,
  author =	 {Andreas Bauer and Martin Leucker and Christian Schallhart
                  and Michael Tautschnig},
  title =	 {Don't care in SMT---Building flexible yet efficient
                  abstraction/refinement solvers},
  journal =	 {International Journal on Software Tools for 
                  Technology Transfer},
  year =	 2010,
  volume =       12,
  issue =        1,
  month =        Dec,
  pages =        {23--37},
  issn =         {1433-2779}
}