@InProceedings{BaaGhiLu-KR08,
  author =       {Franz Baader and Silvio Ghilardi and Carsten Lutz},
  title =        {LTL over Description Logic Axioms},
  booktitle =    {Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning ({KR2008})},
  year = {2008},
 }