@article{bridgingthegapbetweenmodaltemporal,
  title = {Bridging the gap between modal temporal logics and constraint-based QSR as an ALC(D) spatio-temporalisation with weakly cyclic TBoxes},
  author = {Amar Isli},
  year = {2003},
  eprint = {cs/0307040},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/cs/0307040v1},
}