@inproceedings{bauer:leucker:schallhart:tautschnig:isola07,
  title = "Don't care in {SMT}---Building flexible yet efficient abstraction/refinement solvers",
  author = "Andreas Bauer and Martin Leucker and Christian Schallhart and Michael Tautschnig",
  year = "2007",
  address = "Poitiers, France",
  booktitle = "Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)",
  isbn = "9782854288148",
  month = "December",
  pages = "135--146",
}