[1]
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 (Jun. 2019), 137–158. DOI:https://doi.org/10.18778/0138-0680.48.2.04.