@inproceedings{groce04understanding,
  author    = {Alex Groce and Daniel Kroening and Flavio Lerda},
  title     = {{Understanding Counterexamples with explain}},
  booktitle = {Proc. of the 16th International Conference on Computer Aided
  Verification (CAV)},
  year      = {2004},
}