@misc{indiciaead7107fd0f4f,
  title = {Cost Automata, Safe Schemes, and Downward Closures},
  author = {David Barozzini and Lorenzo Clemente and Thomas Colcombet and Paweł Parys},
  year = {2023},
  doi = {10.3233/fi-222145},
  url = {https://arxiv.org/abs/2004.12187},
  note = {Source identifier: 2004.12187}
}