Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic. - Kurucz, Agi; Ryzhikov, Vladislav; Savateev, Yury; Zakharyaschev, Michael (Journal of Artificial Intelligence Research, 2023)