Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach | Publicación