@INPROCEEDINGS{LuWoZa-Time08,
  author = {Carsten Lutz and Frank Wolter and Michael Zakharyaschev},
  title = {Temporal Description Logics: A Survey},
  year = {2008},
  booktitle = {Proceedings of the Fifteenth International Symposium on
Temporal Representation and Reasoning},
  publisher = {IEEE Computer Society Press},
}