@InProceedings{ArKoLuWoZa-TIME-07,
  author =    {A. Artale and R. Kontchakov and C. Lutz and F. Wolter and M. Zakharyaschev},
  title =     {Temporalising Tractable Description Logics},
  booktitle = {Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning},
  year =      {2007},
  publisher = {IEEE Computer Society Press},
}