Conditional narrowing with constructive negation | Publicación