Francez, Nissim. " Another plan for negation" The Australasian Journal of Logic [Online], Volume 16 Number 5 (21 August 2019)