Vol-2662⫷ Vol-2663 ⫸Vol-2664
urn:nbn:de:0074-2663-0


Vol-2663/paper-18⫷Vol-2663/paper-19⫸Vol-2663/paper-20
Vladislav RyzhikovYury SavateevMichael Zakharyaschev

Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic