Maffezioli, Paolo, and Eugenio Orlandelli. 2019. “Full Cut Elimination and Interpolation for Intuitionistic Logic With Existence Predicate”. Bulletin of the Section of Logic 48 (2):137-58. https://doi.org/10.18778/0138-0680.48.2.04.