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 18 December 2025]. DOI 10.12775/LLP.2020.020.