@article{BSL_2019_48_2_a2,
     author = {Maffezioli, Paolo and Orlandelli, Eugenio},
     title = {Full {Cut} {Elimination} and {Interpolation} for {Intuitionistic} {Logic} with {Existence} {Predicate}},
     journal = {Bulletin of the Section of Logic},
     pages = {137--158},
     publisher = {mathdoc},
     volume = {48},
     number = {2},
     year = {2019},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2019_48_2_a2/}
}