@misc{indiciae78ce2290ebb5,
  title = {Explaining Counterexamples with Giant-Step Assertion Checking},
  author = {Benedikt Becker and Cláudio Belo Lourenço and Claude Marché},
  year = {2021},
  doi = {10.4204/eptcs.338.10},
  url = {https://arxiv.org/abs/2108.02967},
  note = {Source identifier: 2108.02967}
}