(1)
Maffezioli, P.; Orlandelli, E. Full Cut Elimination and Interpolation for Intuitionistic Logic With Existence Predicate. B Sect Log 2019, 48, 137-158.