@article{LutzMilicic-JAR06,
  author =       {C.~Lutz and M.~ Milicic},
  title =        {A Tableau Algorithm for Description Logics with Concrete 
                  Domains and General TBoxes},
  journal =      {Journal of Automated Reasoning. 
                  Special Issue on on Automated Reasoning with Analytic 
                   Tableaux and Related Methods},
  publisher =    {Springer},
  year = 	 {2006},
  note=          {To appear.}  
}