M. Willer, “Negating Conditionals in Bilateral Semantics”, Proceedings of the AC, pp. 407–416, Dec. 2019, doi: 10.53437/xz0jv317.