TY  - RPRT
TI  - Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems
AU  - Francesco Gavazzo
AU  - Cecilia Di Florio
PY  - 2022
UR  - https://arxiv.org/abs/2206.13610
ID  - 2206.13610
ER  -