@INPROCEEDINGS{HustadtSchmidt00a,
 AUTHOR    = {Hustadt, U. and Schmidt, R. A.},
 TITLE     = {Issues of Decidability for Description Logics in the Framework of Resolution},
 EDITOR    = {Caferra, R. and Salzer, G.},
 PAGES     = {192--206},
 PMONTH    = jan,
 PYEAR     = {2000},
 CYEAR     = {1998},
 YEAR      = {1999},
 BOOKTITLE = {Automated Deduction in Classical and Non-Classical Logics},
 SERIES    = {LNAI},
 VOLUME    = {1761},
 PUBLISHER = {Springer},
}