A Real Implementation for Constructive Negation | Publicación