Algebraization and representation of mereotopological structures
Ivo Düntsch and Michael Winter
Boolean contact algebras are the abstract counterpart of region--based
theories of space, which date back to the early 1920s. In this paper,
we survey the development of these algebras and relevant construction
and representation theorems.
Journal on Relation Methods in Computer Science, Vol. 1, pp. 161-180,