TY  - RPRT
TI  - Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete
AU  - Laura Bozzelli
AU  - Angelo Montanari
AU  - Adriano Peron
AU  - Pietro Sala
PY  - 2021
DO  - 10.4204/eptcs.346.12
UR  - https://arxiv.org/abs/2109.08320
ID  - 2109.08320
ER  -