1. Maintaining knowledge about temporal intervals;Allen;Communications of the ACM,1983
2. A theory of timed automata;Alur;Theoretical Computer Science,1994
3. Real-time logics: complexity and expressiveness;Alur;Information and Computation,1993
4. A really temporal logic;Alur;Journal of the Association for Computing Machinery,1994
5. F. Baader, P. Hanschke, A scheme for integrating concrete domains into concept languages, in: 12th International Joint Conference on Artificial Intelligence, Sydney, Australia, 1991, pp. 452–457.