@TechReport{Tobies-LTCS-99-11,
  author =       {S. Tobies},
  title =        {{PSpace} Reasoning for {DLs} with Qualifying Number Restrictions},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         1999,
  type =         {LTCS-Report},  
  number =       {LTCS-99-11},
  address =      {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html.},
  keywords =     { Description Logic, Graded Modal Logic, Complexity, Decision Procedure, Counting }
}