Dealing with multiple granularity of time in temporal logic programming
scientific article; zbMATH DE number 1002414