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.