TY  - RPRT
TI  - Linearization via Rewriting (Long Version)
AU  - Ugo Dal Lago
AU  - Federico Olimpieri
PY  - 2025
UR  - https://arxiv.org/abs/2503.04408
ID  - 2503.04408
ER  -