G.: Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification (2008)

by D Bresolin, Della Monica, D Goranko, V Montanari, A Sciavicco
Venue:Proc. of the 15th Int. Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), LNCS