@InProceedings{LutzSattler-DL-2000,
  author = 	 {C. Lutz and U. Sattler},
  title = 	 {Mary likes all Cats},
  booktitle = 	 {Proceedings of the 2000 International Workshop in Description Logics {(DL2000)}},
  address =      {Aachen, Germany},
  editor = 	 {F. Baader and U. Sattler},
  month =	 {August},
  pages =        {213--226},
  year =	 2000,
  series =       {CEUR-WS},
  number =       33,
  note =         {Proceedings online available from {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/}},
  publisher =    {RWTH Aachen}
}