P. Maffezioli and E. Orlandelli, “Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate”, B Sect Log, vol. 48, no. 2, pp. 137–158, Jun. 2019, doi: 10.18778/0138-0680.48.2.04.