Symbolic representation of user-defined time granularities. - Claudio Bettini; Roberto De Sibi (Ann. Math. Artif. Intell., 2000)