Reasoning about qualitative temporal information
scientific article; zbMATH DE number 146359
scientific article