Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.

Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

Browse the full TIME paper archive.