@TechReport{Baader-LTCS-03-01,
  author =       {F.~Baader},
  title =        {The Instance Problem and the Most Specific Concept
       in the Description Logic {$\mathcal{EL}$} w.r.t.\ Terminological Cycles
       with Descriptive Semantics},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2003,
  type =         {LTCS-Report},
  number =       {LTCS-03-01},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}