N. Kürbis, “Definite Descriptions in Intuitionist Positive Free Logic”, LLP, vol. 30, no. 2, pp. 227–358, Nov. 2020.