Return to Article Details Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic Download Download PDF