@INPROCEEDINGS{HustadtSchmidt98b,
AUTHOR = {Hustadt, U. and Schmidt, R. A.},
YEAR = {1998},
TITLE = {Issues of Decidability for Description Logics in the Framework of Resolution},
EDITOR = {Caferra, R. and Salzer, G.},
BOOKTITLE = {First-order Theorem Proving---FTP'98},
PUBLISHER = {Technical Report E1852-GS-981, Technische Universit{\"a}t Wien},
ADDRESS = {Vienna, Austria},
PAGES = {152--161},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/HustadtSchmidt98b.html},
}