1. Generating Instructions in Virtual Environments (GIVE) (2009),
http://homepages.inf.ed.ac.uk/v1akolle/proj/give/
2. Clarke, B.L.: A calculus of individuals based on connection. Notre Dame Journal of Formal Logic (1981)
3. Coenen, F., Beattie, B., Bench-capon, T.J.M., Shave, M.J.R.: An ontology for linear spatial reasoning, pp. 718–727. Springer, Heidelberg (1996)
4. Coenen, F., Visser, P.: A core ontology for spatial reasoning
5. Coenen, F., Visser, P.: A generic ontology for spatial reasoning. In: Research and Development in Expert Systems XV, Proc. of ES 1998, pp. 44–57. Springer, Heidelberg (1998)