Reasoning with numeric and symbolic time information
scientific article; zbMATH DE number 2129700