@misc{indiciaeedb8a0d765bc,
  title = {Counterexample Generation for Infinite-State Chemical Reaction Networks},
  author = {Mohammad Ahmadi and Zhen Zhang and Chris Myers and Chris Winstead and Hao Zheng},
  year = {2022},
  url = {https://arxiv.org/abs/2207.05207},
  note = {Source identifier: 2207.05207}
}