%0 Journal Article %1 journals/corr/abs-2004-07221 %A Artale, Alessandro %A Kontchakov, Roman %A Kovtunova, Alisa %A Ryzhikov, Vladislav %A Wolter, Frank %A Zakharyaschev, Michael %D 2020 %J CoRR %K dblp %T First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. %U http://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-07221 %V abs/2004.07221

@article{journals/corr/abs-2004-07221, added-at = {2020-04-21T00:00:00.000+0200}, author = {Artale, Alessandro and Kontchakov, Roman and Kovtunova, Alisa and Ryzhikov, Vladislav and Wolter, Frank and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2e6c8e1e5a3866b6fe06d83765fcfa36b/dblp}, ee = {https://arxiv.org/abs/2004.07221}, interhash = {bc922d418446c6f941f5ec9d9d7f3b90}, intrahash = {e6c8e1e5a3866b6fe06d83765fcfa36b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-04-22T11:39:14.000+0200}, title = {First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-07221}, volume = {abs/2004.07221}, year = 2020 }