Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects. - Zilberstein, Noam (ACM Transactions on Programming Languages & Systems, 2025)