@misc{indiciae7952a6e31d9a,
  title = {Counterexample Classification},
  author = {Cole Vick and Eunsuk Kang and Stavros Tripakis},
  year = {2021},
  url = {https://arxiv.org/abs/2108.00885},
  note = {Source identifier: 2108.00885}
}