APA (7th ed.) Citation

PAGEL, J., & ZULEGER, F. (2022). Strong-separation Logic. ACM Transactions on Programming Languages & Systems, 44(3), 1. https://doi.org/10.1145/3498847

Chicago Style (17th ed.) Citation

PAGEL, JENS, and FLORIAN ZULEGER. "Strong-separation Logic." ACM Transactions on Programming Languages & Systems 44, no. 3 (2022): 1. https://doi.org/10.1145/3498847.

MLA (9th ed.) Citation

PAGEL, JENS, and FLORIAN ZULEGER. "Strong-separation Logic." ACM Transactions on Programming Languages & Systems, vol. 44, no. 3, 2022, p. 1, https://doi.org/10.1145/3498847.