@INPROCEEDINGS{HMS2004b,
 AUTHOR        = {U. Hustadt and B. Motik and U. Sattler},
 TITLE         = {Reasoning in Description Logics with a 
 Concrete Domain in the Framework of Resolution},
 BOOKTITLE     = {Proceedings of the 16th European Conference 
 on Artificial Intelligence (ECAI 2004)},
 EDITOR        = {R. L\'{o}pez de M\'{a}ntaras and L. Saitta},
 CADDRESS      = {Valencia, Spain},
 CMONTH        = aug # {~22--27},
 CYEAR         = {2004},
 YEAR          = {2004},  
 PAGES         = {353--357},
 PUBLISHER     = {IOS Press},
 PYEAR         = {2004},
}