@TechReport{LuStuWoZa-LTCS-01-01,
  author =       {C. Lutz and H. Sturm and F. Wolter and M. Zakharyaschev},
  title =        {A Tableau Calculus for Temporal Description Logic: The Constant Domain Case},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         2001,
  type =         {LTCS-Report},  
  number =       {LTCS-01-01},
  address =      {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}