@inproceedings{our-work.VMCAI:2013,
  title = "An Abstract Interpretation of {DPLL(T)}",
  author = "M. Brain and V. D'Silva and L. Haller and A. Griggio and D. Kroening",
  year = "2013",
  booktitle = "Proc.~of the conference on Verification, Model Checking and Abstract Interpretation",
}