1. James F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832–843, November 1983.
2. Claudio Bettini. Estensioni temporali dei linguaggi terminologici. PhD thesis, Dip. Scienze dell'Informazione — University of Milano, Italy, 1993. (in Italian).
3. Ronald J. Brachman and Hector J. Levesque. The tractability of subsumption in frame-based description languages. In Proc. of the American National Conference on Artificial Intelligence (AAAI-84), pages 34–37, Austin, TX, 1984.
4. H. B. Enderton. A mathematical introduction to logic. Academic Press, 1972.
5. Joseph Y. Halpern and Yoav Shoham. A propositional modal logic of time intervals. Journal of ACM, 38(4):935–962, 1991.