@misc{indiciae1ae2358869af,
  title = {Combining Spatial and Temporal Logics: Expressiveness vs. Complexity},
  author = {D. Gabelaia and R. Kontchakov and A. Kurucz and F. Wolter and M. Zakharyaschev},
  year = {2011},
  doi = {10.1613/jair.1537},
  url = {https://arxiv.org/abs/1110.2726},
  note = {Source identifier: 1110.2726}
}