TY  - RPRT
TI  - Algorithmic correspondence and analytic rules
AU  - Andrea De Domenico
AU  - Giuseppe Greco
AU  - Alessandra Palmigiano
PY  - 2025
UR  - https://arxiv.org/abs/2203.14147
ID  - 2203.14147
ER  -