Maffezioli, P.; Orlandelli, E. Full Cut Elimination and Interpolation for Intuitionistic Logic With Existence Predicate. B Sect Log 2019, 48 (2), 137-158. https://doi.org/10.18778/0138-0680.48.2.04.