N. Kürbis, „Definite Descriptions in Intuitionist Positive Free Logic”, LLP, t. 30, nr 2, s. 227–358, lis. 2020.