@inproceedings{d2014abstract,
  title = "Abstract satisfaction",
  author = "D'Silva, Vijay and Haller, Leopold and Kroening, Daniel",
  year = "2014",
  booktitle = "Proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
  organization = "ACM",
  pages = "139--150",
}