@InProceedings{HaMo02a,
  author = 	 {V. Haarslev and R. M{\"o}ller},
  title = 	 {Practical Reasoning in RACER with a Concrete Domain for Linear Inequations},
  booktitle = {Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21},
  pages = 	 {91--98},
  year = 	 {2002},
}