APA (7th ed.) Citation

Lyon, T. S., & van Berkel, K. (2024). Proof Theory and Decision Procedures for Deontic STIT Logics. Journal of Artificial Intelligence Research, 81, 837. https://doi.org/10.1613/jair.1.15710

Chicago Style (17th ed.) Citation

Lyon, Tim S., and Kees van Berkel. "Proof Theory and Decision Procedures for Deontic STIT Logics." Journal of Artificial Intelligence Research 81 (2024): 837. https://doi.org/10.1613/jair.1.15710.

MLA (9th ed.) Citation

Lyon, Tim S., and Kees van Berkel. "Proof Theory and Decision Procedures for Deontic STIT Logics." Journal of Artificial Intelligence Research, vol. 81, 2024, p. 837, https://doi.org/10.1613/jair.1.15710.