Maffezioli, P., & Orlandelli, E. (2019). Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate. Bulletin of the Section of Logic, 48(2), 137–158. https://doi.org/10.18778/0138-0680.48.2.04