Kürbis, N. Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic. B Sect Log 2019, 48, 299–317.