@InProceedings{BaaderSattler-Tablaux-2000,
  author =       {Baader, F. and Sattler, U.},
  title =        {Tableau Algorithms for Description Logics},
  booktitle =    {Proceedings of the International Conference on
                  Automated Reasoning with Tableaux and Related
                  Methods (Tableaux 2000)},
  series =       {Lecture Notes in Artificial Intelligence},
  volume =       {1847},
  editor =       {R.~Dyckhoff},
  year =         {2000},
  pages =        {1--18},
  address =      {St Andrews, Scotland, UK},
  springer =     {yes},
  publisher =    {Springer-Verlag},
}