@misc{indiciaeb5c9556516f3,
  title = {A Formalization of Abstract Rewriting in Agda},
  author = {Sam Arkle and Andrew Polonsky},
  year = {2026},
  url = {https://arxiv.org/abs/2603.10936},
  note = {Source identifier: 2603.10936}
}