APA (7th ed.) Citation

Bickford, M., Kozen, D., & Silva, A. (2022). Formalizing Moessner's theorem and generalizations in Nuprl. Journal of logical and algebraic methods in programming, 124, 100713. https://doi.org/10.1016/j.jlamp.2021.100713

Chicago Style (17th ed.) Citation

Bickford, Mark, Dexter Kozen, and Alexandra Silva. "Formalizing Moessner's Theorem and Generalizations in Nuprl." Journal of Logical and Algebraic Methods in Programming 124 (2022): 100713. https://doi.org/10.1016/j.jlamp.2021.100713.

MLA (9th ed.) Citation

Bickford, Mark, et al. "Formalizing Moessner's Theorem and Generalizations in Nuprl." Journal of Logical and Algebraic Methods in Programming, vol. 124, 2022, p. 100713, https://doi.org/10.1016/j.jlamp.2021.100713.