Maffezioli, P. and Orlandelli, E. (2019) “Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate”, Bulletin of the Section of Logic, 48(2), pp. 137–158. doi: 10.18778/0138-0680.48.2.04.