Scott C. Chase: Supporting Emergence in Spatial Reasoning With Shape Algebras and Formal Logic. COSIT 1997: 409-427