@InProceedings{HaLM98a,
  author = 	 {V. Haarslev and Carsten Lutz and R. M{\"o}ller},
  title = 	 {Foundations of Spatioterminological Reasoning with Description Logics},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98)},
  editor = 	 {G. Cohn, L.K. Schubert, S.C.Shapiro},
  pages = 	 {112--123},
  year = 	 {1998},
  publisher = 	 {Morgan-Kaufmann},
}