TY  - RPRT
TI  - Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
AU  - Laura Bozzelli
AU  - Alberto Molinari
AU  - Angelo Montanari
AU  - Adriano Peron
AU  - Pietro Sala
PY  - 2022
DO  - 10.46298/lmcs-18(1:24)2022
UR  - https://arxiv.org/abs/2006.04652
ID  - 2006.04652
ER  -