APA (7th ed.) Citation

Zilberstein, N. (2025). Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects. ACM Transactions on Programming Languages & Systems, 47(3), 1. https://doi.org/10.1145/3743131

Chicago Style (17th ed.) Citation

Zilberstein, Noam. "Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects." ACM Transactions on Programming Languages & Systems 47, no. 3 (2025): 1. https://doi.org/10.1145/3743131.

MLA (9th ed.) Citation

Zilberstein, Noam. "Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects." ACM Transactions on Programming Languages & Systems, vol. 47, no. 3, 2025, p. 1, https://doi.org/10.1145/3743131.