@inproceedings{our-work.POPL:2013,
  title = "Abstract Conflict Driven Learning",
  author = "V. D'Silva and L. Haller and D. Kroening",
  year = "2013",
  booktitle = "Proc.~of the Symposium on Principles of Programming Languages",
  publisher = "ACM",
}