Robles, G. and Méndez, J. M. (2006) “Converse Ackermann property and constructive negation defined with a negation connective”, Logic and Logical Philosophy, 15(2), pp. 113–130. doi: 10.12775/LLP.2006.007.