Keys for Free in Description Logics
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/dlog/CalvaneseGL00,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Maurizio Lenzerini},
title = {Keys for Free in Description Logics},
booktitle = {Description Logics},
year = {2000},
pages = {79-88},
ee = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/Calvanese79-88.ps},
crossref = {DBLP:conf/dlog/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
