@inproceedings{gkl2004,
  title = "Understanding Counterexamples with explain",
  author = "Groce, Alex and Kroening, Daniel and Lerda, Flavio",
  year = "2004",
  booktitle = "Proceedings of CAV 2004",
  editor = "Rajeev Alur and Doron A. Peled",
  isbn = "3-540-22342-8",
  month = "July",
  number = "3114",
  pages = "453--456",
  series = "LNCS",
}