APA (7th ed.) Citation

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.) Citation

Kurucz, 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.) Citation

Kurucz, 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.

Warning: These citations may not always be 100% accurate.