APA (7th ed.) Citation

Baldan, P., Ranzato, F., & Zhang, L. (2022). Intensional Kleene and Rice theorems for abstract program semantics. Information and computation, 289, 104953. https://doi.org/10.1016/j.ic.2022.104953

Chicago Style (17th ed.) Citation

Baldan, Paolo, Francesco Ranzato, and Linpeng Zhang. "Intensional Kleene and Rice Theorems for Abstract Program Semantics." Information and Computation 289 (2022): 104953. https://doi.org/10.1016/j.ic.2022.104953.

MLA (9th ed.) Citation

Baldan, Paolo, et al. "Intensional Kleene and Rice Theorems for Abstract Program Semantics." Information and Computation, vol. 289, 2022, p. 104953, https://doi.org/10.1016/j.ic.2022.104953.