Kürbis, N. “A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation”. Bulletin of the Section of Logic, vol. 48, no. 2, June 2019, pp. 81-97, doi:10.18778/0138-0680.48.2.01.