@InProceedings{LiLuMiWo-JELIA-06,
  author =  {H.~Liu and C.~Lutz and M.~Milicic and F.~Wolter},
  title =    {Reasoning about Actions using Description Logics  with general {TBoxes}},
  booktitle = {Proceedings of the 10th European Conference on Logics in Artificial Intelligence {(JELIA 2006)}},
  year = 2006,
  editor = {Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa},
  pages =  {266--279},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {4160}
}