APA (7th ed.) Citation

Zilberstein, N. (2024). Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects.

Chicago Style (17th ed.) Citation

Zilberstein, Noam. Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects. 2024.

MLA (9th ed.) Citation

Zilberstein, Noam. Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects. 2024.

Warning: These citations may not always be 100% accurate.