APA (7th ed.) Citation

Cheung, L., Moffat, A., & Rizkallah, C. (2025). Formally Verified Suffix Array Construction: Formally Verified Suffix Array Construction. Journal of automated reasoning, 69(3), 21. https://doi.org/10.1007/s10817-025-09735-8

Chicago Style (17th ed.) Citation

Cheung, Louis, Alistair Moffat, and Christine Rizkallah. "Formally Verified Suffix Array Construction: Formally Verified Suffix Array Construction." Journal of Automated Reasoning 69, no. 3 (2025): 21. https://doi.org/10.1007/s10817-025-09735-8.

MLA (9th ed.) Citation

Cheung, Louis, et al. "Formally Verified Suffix Array Construction: Formally Verified Suffix Array Construction." Journal of Automated Reasoning, vol. 69, no. 3, 2025, p. 21, https://doi.org/10.1007/s10817-025-09735-8.