ML-1996-07: Montanari, Angelo and Peron, Adriano and Policriti, Alberto (1996) Decidable Theories of $\omega$-Layered Metric Temporal Structures. [Report]