Text this: Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption