Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate | Publicación