@InProceedings{HaMo01a,
  author = 	 {V. Haarslev and R. M{\"o}ller},
  title = 	 {RACER System Description},
  booktitle = {International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy},
  pages = 	 {701--705},
  year = 	 {2001},
  editor = 	 {R. Gor{\'e} and  A. Leitsch and T. Nipkow},
  publisher = {Springer-Verlag},
  springer = {yes},
}