@TechReport{Tobies-LTCS-99-05,
  author =       {S. Tobies},
  title =        {A NEXPTIME-complete Description Logic  Strictly Contained in {$C^2$}},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         1999,
  type =         {LTCS-Report},
  number =       {LTCS-99-05},
  address =      {Germany},
  note =         {An abriged version appeared at CSL-99.},
  keywords =     { Description Logic, Counting, Complexity, Expressivity }
}