@misc{indiciae4d7325ddb11e,
  title = {Reverse Engineering of Temporal Queries Mediated by LTL Ontologies},
  author = {Marie Fortin and Boris Konev and Vladislav Ryzhikov and Yury Savateev and Frank Wolter and Michael Zakharyaschev},
  year = {2023},
  url = {https://arxiv.org/abs/2305.01248},
  note = {Source identifier: 2305.01248}
}