@InProceedings{HaMo01b,
  author = 	 {V. Haarslev and R. M{\"o}ller},
  title = 	 {The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach},
  booktitle = {International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy},
  pages = 	 {29-44},
  year = 	 {2001},
  editor = 	 {R. Gor{\'e} and  A. Leitsch and T. Nipkow},
  publisher = {Springer-Verlag},
  springer = {yes},
}