Mary Likes all Cats
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/dlog/LutzS00,
author = {Carsten Lutz and
Ulrike Sattler},
title = {Mary Likes all Cats},
booktitle = {Description Logics},
year = {2000},
pages = {213-226},
ee = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/Lutz213-226.ps},
crossref = {DBLP:conf/dlog/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
