Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption

Bozzelli, Laura

Peron, Adriano

Sala, Pietro

MONTANARI, Angelo