TY  - RPRT
TI  - Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic
AU  - Agi Kurucz
AU  - Vladislav Ryzhikov
AU  - Yury Savateev
AU  - Michael Zakharyaschev
PY  - 2023
DO  - 10.1613/jair.1.14061
UR  - https://arxiv.org/abs/2207.06210
ID  - 2207.06210
ER  -