N. Kürbis, “Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic”, B Sect Log, vol. 48, no. 4, pp. 299–317, Dec. 2019.