@misc{indiciae636af68f22d9,
  title = {Hydra Battles and AC Termination},
  author = {Nao Hirokawa and Aart Middeldorp},
  year = {2025},
  doi = {10.46298/lmcs-21(2:29)2025},
  url = {https://arxiv.org/abs/2307.14036},
  note = {Source identifier: 2307.14036}
}