TY  - RPRT
TI  - First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic
AU  - Alessandro Artale
AU  - Roman Kontchakov
AU  - Alisa Kovtunova
AU  - Vladislav Ryzhikov
AU  - Frank Wolter
AU  - Michael Zakharyaschev
PY  - 2021
DO  - 10.1016/j.artint.2021.103536
UR  - https://arxiv.org/abs/2004.07221
ID  - 2004.07221
ER  -