Robles, G., and J. M. Méndez. “Converse Ackermann Property and Constructive Negation Defined With a Negation Connective”. Logic and Logical Philosophy, vol. 15, no. 2, June 2006, pp. 113-30, doi:10.12775/LLP.2006.007.