@Article{LuMi-Jar-07,
  author = 	 {C. Lutz and M. Milicic},
  title = 	 {A Tableau Algorithm for {DL}s with Concrete Domains and {GCI}s},
  journal = 	 {Journal of Automated Reasoning},
  year = 	 2007,
  volume =       {38},
  number =       {1--3},
  pages =        {227--259},
}