APA (7th ed.) Citation

Ramos, T. M. F., Almeida, A. A., & Ayala-Rincón, M. (2022). Formalization of the Computational Theory of a Turing Complete Functional Language Model. Journal of automated reasoning, 66(4), 1031-1063. https://doi.org/10.1007/s10817-021-09615-x

Chicago Style (17th ed.) Citation

Ramos, Thiago Mendonça Ferreira, Ariane Alves Almeida, and Mauricio Ayala-Rincón. "Formalization of the Computational Theory of a Turing Complete Functional Language Model." Journal of Automated Reasoning 66, no. 4 (2022): 1031-1063. https://doi.org/10.1007/s10817-021-09615-x.

MLA (9th ed.) Citation

Ramos, Thiago Mendonça Ferreira, et al. "Formalization of the Computational Theory of a Turing Complete Functional Language Model." Journal of Automated Reasoning, vol. 66, no. 4, 2022, pp. 1031-1063, https://doi.org/10.1007/s10817-021-09615-x.