Kürbis, Nils. “A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation”. Bulletin of the Section of Logic 48, no. 2 (June 30, 2019): 81-97. Accessed September 19, 2020. https://czasopisma.uni.lodz.pl/bulletin/article/view/5440.