(1)
K├╝rbis, N. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation. B Sect Log 2019, 48, 81-97.