@inproceedings{EndrissARW2000,
  author =        {Ulrich Endriss},
  title =         {Reasoning in Description Logics with Wellington 1.0 -- System Description},
  editor =        {H.~J.~Ohlbach and U.~Endriss and O.~Rodrigues and S.~Schlobach},
  booktitle =     {Proceedings of the 7th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice},
  series =        {CEUR Workshop Proceedings},
  volume =        {32},
  month =         {July},
  year =          {2000},
  note =          {Extended Abstract. On-line proceedings are available at http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-32/}
}