APA (7th ed.) Citation

Ancona, D., Barbieri, P., & Zucca, E. (2023). Checked corecursive streams: Expressivity and completeness. Theoretical computer science, 974, 114081. https://doi.org/10.1016/j.tcs.2023.114081

Chicago Style (17th ed.) Citation

Ancona, Davide, Pietro Barbieri, and Elena Zucca. "Checked Corecursive Streams: Expressivity and Completeness." Theoretical Computer Science 974 (2023): 114081. https://doi.org/10.1016/j.tcs.2023.114081.

MLA (9th ed.) Citation

Ancona, Davide, et al. "Checked Corecursive Streams: Expressivity and Completeness." Theoretical Computer Science, vol. 974, 2023, p. 114081, https://doi.org/10.1016/j.tcs.2023.114081.