TY  - RPRT
TI  - Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
AU  - Andrea De Domenico
AU  - Ali Farjami
AU  - Krishna Manoorkar
AU  - Alessandra Palmigiano
AU  - Mattia Panettiere
AU  - Xiaolong Wang
PY  - 2024
UR  - https://arxiv.org/abs/2412.01722
ID  - 2412.01722
ER  -