@InProceedings{LutzMilicic-Tableaux2005,
  author =       {C. Lutz and M. Milicic},
  title =        {A Tableau Algorithm for Description Logics with Concrete Domains and GCIs},
  booktitle =    {Proceedings of the 14th International Conference on 
  Automated Reasoning with Analytic Tableaux and Related Methods {TABLEAUX 2005}},
  year =         2005,
  address =      {Koblenz, Germany},
  publisher =    {Springer},
  series =       {LNAI},
  springer =     {yes}
}