Egré, P.; Politzer, G. On the Negation of Indicative Conditionals. Proceedings of the AC 2013, 10-18.