INDRZEJCZAK, Andrzej. Free Definite Description Theory – Sequent Calculi and Cut Elimination. Logic and Logical Philosophy. Online. 30 October 2020. Vol. 29, no. 4, pp. 505-539. [Accessed 16 June 2024]. DOI 10.12775/LLP.2020.020.