@TECHREPORT{Baader-Narendran-LTCS-98,
 author         = {F. Baader and P. Narendran},
 title          = {Unification of Concept Terms in Description Logics: Revised Version},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
 year           = 1998,
 type           = {LTCS-Report},
 number         = {LTCS-98-07},
 ccl            = {yes}
}