1. Allen, J. F. (1981). An Interval-Based Representation of Temporal Knowledge. Proceedings of The 7th IJCAI.
2. Clarke, B. L. (1981). A Calculus of Individuals Based on ?Connection?. Notre Dame Journal of Formal Logic 23: 204?218.
3. Clarke, B. L. (1985). Individuals and Points. Notre Dame Journal of Formal Logic 26(1): 61?75.
4. Cohn, A. G. (1987). A More Expressive Formulation of Many Sorted Logic. Journal of Automated Reasoning 3: 113?200.
5. Cohn, A. G., Gooday, J. M. & Bennett, B. (1994). A Comparison of Structures in Spatial and Temporal Logics. In Casati, R., Smith, B. & White, G. (eds.) Philosophy and the Cognitive Sciences: Proceedings of The 16th International Wittgenstein Symposium, Hölder-Pichler-Tempsky: Vienna.