[1]
N. Kürbis, “A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation”, B Sect Log, vol. 48, no. 2, pp. 81–97, Jun. 2019.