TY  - RPRT
TI  - The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
AU  - L. Bozzelli
AU  - A. Montanari
AU  - A. Peron
AU  - P. Sala
PY  - 2024
DO  - 10.46298/lmcs-20(1:23)2024
UR  - https://arxiv.org/abs/2202.07881
ID  - 2202.07881
ER  -