1. Maintaining knowledge about temporal intervals;Allen;Communications of the ACM,1983
2. Decidability of a hybrid duration calculus;Bolander;Electronic Notes in Theoretical Computer Science,2007
3. Decidable and Undecidable Fragments of Halpern and Shohamʼs Interval Temporal Logic: Towards a Complete Classification;Bresolin,2008
4. Bresolin, D., D. Della Monica, V. Goranko, A. Montanari and G. Sciavicco, Metric propositional neighborhood logic: Expressiveness, decidability, and undecidability, in: Proc. of the 19th European Conference on Artificial Intelligence (ECAI 2010), 2010, pp. 695–700.
5. On Decidability and Expressiveness of Propositional Interval Neighborhood Logics;Bresolin,2007