Robles, G.; Méndez, J. M. Converse Ackermann Property and Constructive Negation Defined With a Negation Connective. LLP 2006, 15, 113-130.