Cut elimination for coherent theories in negation normal form | Publicación