@TechReport{HaMo01f,
  author = 	 {V. Haarslev and R. M{\"o}ller},
  title = 	 {RACER User's Guide and Reference Manual Version 1.6},
  institution =  {University of Hamburg, Computer Science Department},
  year = 	 {2001},
}