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 (Jun. 2006), 113–130. DOI:https://doi.org/10.12775/LLP.2006.007.