TY  - RPRT
TI  - Reverse Engineering of Temporal Queries Mediated by LTL Ontologies
AU  - Marie Fortin
AU  - Boris Konev
AU  - Vladislav Ryzhikov
AU  - Yury Savateev
AU  - Frank Wolter
AU  - Michael Zakharyaschev
PY  - 2023
UR  - https://arxiv.org/abs/2305.01248
ID  - 2305.01248
ER  -