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