@inproceedings{racer,
  author = {Haarslev, Volker and Moller, Ralf},
  booktitle = {Proceedings of the 2001 International Workshop on Description Logics (DL-2001)},
  editor = {et al, D. L. McGuinness},
  interhash = {a40cfed516eb4435ae5985438df37201},
  intrahash = {2a5b2d5f5fc153811ac1c10c50902f5d},
  location = {Madrid},
  publisher = {CEUR Workshop Proceedings},
  title = {Description of the {RACER} System and its Applications},
  url = {citeseer.ist.psu.edu/article/haarslev01description.html},
  year = 2001
}