Implementing Constructive Intensional Negation | Publicación