@misc{indiciae21bb155f3cc2,
  title = {A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming},
  author = {George Baryannis and Ilias Tachmazidis and Sotiris Batsakis and Grigoris Antoniou and Mario Alviano and Timos Sellis and Pei-Wei Tsai},
  year = {2018},
  doi = {10.1017/s147106841800011x},
  url = {https://arxiv.org/abs/1804.07088},
  note = {Source identifier: 1804.07088}
}