Kurucz, A., Ryzhikov, V., Savateev, Y., & Zakharyaschev, M. (2023). Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic. Journal of Artificial Intelligence Research, 76, 645. https://doi.org/10.1613/jair.1.14061
Chicago Style (17th ed.) CitationKurucz, Agi, Vladislav Ryzhikov, Yury Savateev, and Michael Zakharyaschev. "Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic." Journal of Artificial Intelligence Research 76 (2023): 645. https://doi.org/10.1613/jair.1.14061.
MLA (9th ed.) CitationKurucz, Agi, et al. "Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic." Journal of Artificial Intelligence Research, vol. 76, 2023, p. 645, https://doi.org/10.1613/jair.1.14061.