Proofs of Soundness and Proof Search (Invited Talk) | Publicación