@InProceedings{LutzMilicic-DL-2005,
  author =  {C. Lutz and M. Milicic},
  title = {A Tableau Algorithm for DLs with Concrete Domains and GCIs},
  booktitle = {Proceedings of the 2005 International Workshop on Description Logics ({DL2005})},
  year = {2005},
  series = {CEUR-WS},
  number = {147}
}