1. Brandon Bennett. Logical Representations for Automated Reasoning about Spatial Relationships. PhD thesis, University of Leeds, Leeds, UK, 1998.
2. A. G. Cohn, N. M. Gotts, Z. Cui, D. A. Randell, B. Bennett, and J. M. Gooday. Exploiting temporal continuity in qualitative spatial calculi. In Max J. Egenhofer and Reginald G. Golledge, editors, Spatial and Temporal Reasoning in Geographic Information Systems, pages 5–24. Oxford University Press, 1998.
3. Anthony G. Cohn and Achille C. Varzi. Connection relations in mereotopology. In Henri Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence. John Wiley & Sons, Ltd, 1998.
4. Max J. Egenhofer. Reasoning about binary topological relations. In nther O. Gü and H.-J. Schek, editors, Advances in Spatial Databases, pages 143–160. Springer-Verlag, 1991.
5. Max J. Egenhofer and Robert D. Franzosa. Point-set topological spatial relations. International Journal of Geographical Information Science, 5:161–174, 1991.