@inproceedings{ hahmann08mereotopology,
  author = {Hahmann, Torsten and Gruninger, Michael},
  title = {A model-theoretic characterization of Asher and Vieu's ontology of mereotopology},
  url = {1225747764_hahmann08mereotopology.pdf},
  booktitle = {Proceedings of KR'08: Principles of Knowledge Representation and Reasoning},
  address = {Sydney, Australia},
  month = {September 16--19},
  year = {2008},
  opturl = {hahmann08mereotopology.pdf}
}