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