Francez, Nissim. " Another plan for negation." The Australasian Journal of Logic [Online], 16.5 (2019): 159-176. Web. 21 Sep. 2020