Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology.

Torsten Hahmann, Michael Gruninger

Browse the full KR paper archive.