@inproceedings{bkw2007-spin,
  title = "{SAT}-based Summarisation for {B}oolean Programs",
  author = "Basler, Gerard and Kroening, Daniel and Weissenbacher, Georg",
  year = "2007",
  booktitle = "Proceedings of SPIN 2007",
  note = "<a href="http://www.georg.weissenbacher.name/slides/spin2007.pdf">Click here for slides.</a>",
  number = "4595",
  pages = "131--148",
  series = "Lecture Notes in Computer Science",
  url = "http://www.springerlink.com/content/x7h7526tu6702917",
}