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