ML-1996-06: Angelo Montanari, Alberto Policriti A Decidable Theory of Finitely-Layered Metric Temporal Structures 1.Full Text, 2.Abstract. < Back
