@misc{indiciae7cbb0ffa78c9,
  title = {Linearization via Rewriting (Long Version)},
  author = {Ugo Dal Lago and Federico Olimpieri},
  year = {2025},
  url = {https://arxiv.org/abs/2503.04408},
  note = {Source identifier: 2503.04408}
}