Maffezioli, Paolo, and Eugenio Orlandelli. “Full Cut Elimination and Interpolation for Intuitionistic Logic With Existence Predicate”. Bulletin of the Section of Logic 48, no. 2 (June 30, 2019): 137–158. Accessed April 19, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/5441.