Description Logics and the Two-Variable Fragment
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/dlog/LutzSW01,
author = {Carsten Lutz and
Ulrike Sattler and
Frank Wolter},
title = {Description Logics and the Two-Variable Fragment},
booktitle = {Description Logics},
year = {2001},
ee = {http://CEUR-WS.org/Vol-49/LutzSattlerWolter-66start.ps},
crossref = {DBLP:conf/dlog/2001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
