PP-2000-07: Carlos Areces, Patrick Blackburn, Maarten Marx The Computational Complexity of Hybrid Temporal Logics 1.Full Text, 2.Abstract. < Back
