@InProceedings{bauer:leucker:schallhart:tautschn:isola07,
  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},
  booktitle =	 {Proceedings of the 2007 ISoLA Workshop On Leveraging
                  Applications of Formal Methods, Verification and 
                  Validation (ISoLA)},
  year =	 2007,
  series =	 {Revue des Nouvelles Technologies de l'Information (RNTI)},
  volume =       {RNTI-SM1},
  month =        Dec,
  pages =        {135--146},
  publisher =    {C{\'e}padu{\`e}s-{\'E}ditions},
  address =      {Toulouse},
  isbn =         9782854288148
}