@article{zilberstein-2023-outcome, title={Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning}, volume={7}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3586045}, DOI={10.1145/3586045}, number={OOPSLA1}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Zilberstein, Noam and Dreyer, Derek and Silva, Alexandra}, year={2023}, month=Apr, pages={522–550} }