Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
scientific article; zbMATH DE number 6376191
scientific article