Understanding Counterexamples with explain.

Alex Groce, Daniel Kroening, Flavio Lerda

Browse the full CAV paper archive.