G. Robles and J. M. Méndez, “Converse Ackermann property and constructive negation defined with a negation connective”, LLP, vol. 15, no. 2, pp. 113–130, Jun. 2006.