Interval duration logic: expressiveness and decidability
scientific article; zbMATH DE number 6198631
scientific article