1. Aiello M., Pratt-Hartmann I., van Benthem, J. (Eds.), Handbook of Spatial Logics. Springer
2. Avigad, J., Dean, E., Mumma, J.: A formal system for Euclid’s elements. Rev. Symbolic Logic 2(4), 700–768 (2009)
3. Bennett, B., Cohn, AG.: Consistency of topological relations in the presence of convexity constraints. In: Proceedings of the ‘Hot Topics in Spatio-Temporal Reasoning’ Workshop, IJCAI-99 (1999)
4. Bennett, M.: Affine and Projective Geometry. Wiley, UK (1995)
5. Casati, R., Varzi, A.C.: Parts and places. The structures of spatial representation. MIT Press, Cambridge-London (1999)