Willer, M. Negating Conditionals in Bilateral Semantics. Proceedings of the AC 2019, 407-416.