@misc{indiciae35e3a633c005,
  title = {A tree rewriting system for the Reflection Calculus},
  author = {Sofía Santiago-Fernández and Joost J. Joosten and David Fernández-Duque},
  year = {2024},
  url = {https://arxiv.org/abs/2407.13619},
  note = {Source identifier: 2407.13619}
}