Maffezioli, P., and E. Orlandelli. “Full Cut Elimination and Interpolation for Intuitionistic Logic With Existence Predicate”. Bulletin of the Section of Logic, vol. 48, no. 2, June 2019, pp. 137-58, doi:10.18778/0138-0680.48.2.04.