@inproceedings{bkw2007-spin,
  author = "Basler, Gerard and Kroening, Daniel and Weissenbacher, Georg",
  booktitle = "Proceedings of SPIN 2007",
  number = "4595",
  pages = "131--148",
  series = "Lecture Notes in Computer Science",
  title = "{SAT}-based Summarisation for {B}oolean Programs",
  year = "2007",
}