TY  - RPRT
TI  - Locality Theorems in Semiring Semantics
AU  - Clotilde Bizière
AU  - Erich Grädel
AU  - Matthias Naaf
PY  - 2024
UR  - https://arxiv.org/abs/2303.12627
ID  - 2303.12627
ER  -