@inproceedings{gk2004-bmc,
  title = "Making the Most of {BMC} Counterexamples",
  author = "Groce, Alex and Kroening, Daniel",
  year = "2005",
  booktitle = "Proceedings of BMC 2004",
  pages = "67--81",
  publisher = "Elsevier",
  series = "ENTCS",
  volume = "119",
}